]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/tesi/.idea/misc.xml
Shuffling.
[logicplayer.git] / server / tesi / .idea / misc.xml
diff --git a/server/tesi/.idea/misc.xml b/server/tesi/.idea/misc.xml
new file mode 100644 (file)
index 0000000..728f444
--- /dev/null
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="EntryPointsManager">
+    <entry_points version="2.0" />
+  </component>
+  <component name="ProjectKey">
+    <option name="state" value="project://e2804f05-5315-4fc6-a121-c522a6c26470" />
+  </component>
+  <component name="ProjectRootManager" version="2" languageLevel="JDK_1_6" assert-keyword="true" jdk-15="true">
+    <output url="file://$PROJECT_DIR$/out" />
+  </component>
+</project>
\ No newline at end of file