From 6ad6e55f0c3d579249987c1fb53469d7a2ac9d2b Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 17 Jun 2017 01:30:16 +0200 Subject: [PATCH] kill a useless platform file --- examples/platforms/cloud-sharing.xml | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 examples/platforms/cloud-sharing.xml diff --git a/examples/platforms/cloud-sharing.xml b/examples/platforms/cloud-sharing.xml deleted file mode 100644 index 26addba8d0..0000000000 --- a/examples/platforms/cloud-sharing.xml +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - -- 2.20.1