]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/tesi/.idea/misc.xml
shuffling + libs imported
[logicplayer.git] / server / tesi / .idea / misc.xml
diff --git a/server/tesi/.idea/misc.xml b/server/tesi/.idea/misc.xml
deleted file mode 100644 (file)
index 728f444..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-<?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