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