From 965c9e4ac13ee46230d384b43d8d4639e1575603 Mon Sep 17 00:00:00 2001
From: Vasily Levchenko <vasily.levchenko@jetbrains.com>
Date: Wed, 14 Sep 2016 21:38:59 +0300
Subject: [PATCH] g/c: .idea: maven settings removed

---
 experiments/student-backend/.idea/misc.xml | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/experiments/student-backend/.idea/misc.xml b/experiments/student-backend/.idea/misc.xml
index 9afa13c2a4b..5f1df38d2d1 100644
--- a/experiments/student-backend/.idea/misc.xml
+++ b/experiments/student-backend/.idea/misc.xml
@@ -3,13 +3,6 @@
   <component name="EntryPointsManager">
     <entry_points version="2.0" />
   </component>
-  <component name="MavenImportPreferences">
-    <option name="generalSettings">
-      <MavenGeneralSettings>
-        <option name="mavenHome" value="Bundled (Maven 3)" />
-      </MavenGeneralSettings>
-    </option>
-  </component>
   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />
   </component>