]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - server/tesi/.idea/copyright/profiles_settings.xml
shuffling + libs imported
[logicplayer.git] / server / tesi / .idea / copyright / profiles_settings.xml
diff --git a/server/tesi/.idea/copyright/profiles_settings.xml b/server/tesi/.idea/copyright/profiles_settings.xml
deleted file mode 100644 (file)
index e7bedf3..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-<component name="CopyrightManager">
-  <settings default="" />
-</component>
\ No newline at end of file