]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/tesi/.idea/scopes/scope_settings.xml
Shuffling.
[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
new file mode 100644 (file)
index 0000000..922003b
--- /dev/null
@@ -0,0 +1,5 @@
+<component name="DependencyValidationManager">
+  <state>
+    <option name="SKIP_IMPORT_STATEMENTS" value="false" />
+  </state>
+</component>
\ No newline at end of file