]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/tesi/.idea/scopes/scope_settings.xml
shuffling + libs imported
[logicplayer.git] / server / tesi / .idea / scopes / scope_settings.xml
diff --git a/server/tesi/.idea/scopes/scope_settings.xml b/server/tesi/.idea/scopes/scope_settings.xml
deleted file mode 100644 (file)
index 922003b..0000000
+++ /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