X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=server%2Ftesi%2F.idea%2Fscopes%2Fscope_settings.xml;fp=server%2Ftesi%2F.idea%2Fscopes%2Fscope_settings.xml;h=0000000000000000000000000000000000000000;hb=bd7a266f1a37cb373614b8fa3d0c1e832c4b82e3;hp=922003b8433bcad6ce9778a37628d738faa26389;hpb=edfa62efb21b128dce6de134a3fb0d85f77bd2b8;p=logicplayer.git

diff --git a/server/tesi/.idea/scopes/scope_settings.xml b/server/tesi/.idea/scopes/scope_settings.xml
deleted file mode 100644
index 922003b..0000000
--- a/server/tesi/.idea/scopes/scope_settings.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<component name="DependencyValidationManager">
-  <state>
-    <option name="SKIP_IMPORT_STATEMENTS" value="false" />
-  </state>
-</component>
\ No newline at end of file