diff --git a/contrib/platform/platform.iml b/contrib/platform/platform.iml deleted file mode 100644 index c341069e1..000000000 --- a/contrib/platform/platform.iml +++ /dev/null @@ -1,13 +0,0 @@ - - - - - - - - - - - - -