]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/tesi/.idea/modules.xml
Shuffling.
[logicplayer.git] / server / tesi / .idea / modules.xml
diff --git a/server/tesi/.idea/modules.xml b/server/tesi/.idea/modules.xml
new file mode 100644 (file)
index 0000000..d9c1a63
--- /dev/null
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/tesi.iml" filepath="$PROJECT_DIR$/tesi.iml" />
+    </modules>
+  </component>
+</project>
\ No newline at end of file