From 555e1a35e983440820fab87f444807f66ff582e5 Mon Sep 17 00:00:00 2001
From: Sergey Rostov <sergey.rostov@jetbrains.com>
Date: Mon, 12 Aug 2019 10:58:15 +0300
Subject: [PATCH] .idea: remove maven project from default config

Currently maven was not support in our JPS build.
You can still import them manually.
---
 .idea/misc.xml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 124a1b2515d..25c658bcd85 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -39,13 +39,6 @@
     <option name="LOCALE" />
     <option name="OPEN_IN_BROWSER" value="true" />
   </component>
-  <component name="MavenProjectsManager">
-    <option name="originalFiles">
-      <list>
-        <option value="$PROJECT_DIR$/libraries/pom.xml" />
-      </list>
-    </option>
-  </component>
   <component name="NullableNotNullManager">
     <option name="myDefaultNullable" value="org.jetbrains.annotations.Nullable" />
     <option name="myDefaultNotNull" value="org.jetbrains.annotations.NotNull" />