]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/servers.txt.universita
Library files removed from the repository
[helm.git] / helm / interface / servers.txt.universita
diff --git a/helm/interface/servers.txt.universita b/helm/interface/servers.txt.universita
deleted file mode 100755 (executable)
index c24a58c..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-http://phd.cs.unibo.it/helm/PARSER/examples
-http://caristudenti.students.cs.unibo.it/~sacerdot/helm