From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 16 Nov 2000 10:51:24 +0000 (+0000)
Subject: Library files removed from the repository
X-Git-Tag: nogzip~178
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=d793e3f1a4e201912ac4917b7ae2934537953130;p=helm.git

Library files removed from the repository
---

diff --git a/helm/interface/servers.txt b/helm/interface/servers.txt
deleted file mode 100644
index b91a71522..000000000
--- a/helm/interface/servers.txt
+++ /dev/null
@@ -1,2 +0,0 @@
-http://caristudenti.students.cs.unibo.it/~sacerdot/helm
-http://pagadebit.students.cs.unibo.it/really_very_local/helm/PARSER/examples
diff --git a/helm/interface/servers.txt.universita b/helm/interface/servers.txt.universita
deleted file mode 100755
index c24a58cad..000000000
--- a/helm/interface/servers.txt.universita
+++ /dev/null
@@ -1,2 +0,0 @@
-http://phd.cs.unibo.it/helm/PARSER/examples
-http://caristudenti.students.cs.unibo.it/~sacerdot/helm
diff --git a/helm/interface/urls_of_uris.db b/helm/interface/urls_of_uris.db
deleted file mode 100644
index ef6b46a51..000000000
Binary files a/helm/interface/urls_of_uris.db and /dev/null differ