From 89e864221dd9bf82651a4767d3dd911a2a689c49 Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Fri, 21 Feb 2014 20:15:24 +0400
Subject: [PATCH] Minor, remove outdated library source root

---
 .idea/libraries/properties.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.idea/libraries/properties.xml b/.idea/libraries/properties.xml
index 59a7ec62ded..c83c738b14b 100644
--- a/.idea/libraries/properties.xml
+++ b/.idea/libraries/properties.xml
@@ -2,7 +2,6 @@
   <library name="properties">
     <CLASSES>
       <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/properties/lib/properties.jar!/" />
-      <root url="jar://$PROJECT_DIR$/ideaSDK/plugins/properties/lib/resources_en.jar!/" />
     </CLASSES>
     <JAVADOC />
     <SOURCES />