X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fservers.txt;fp=helm%2Finterface%2Fservers.txt;h=b91a715225d86e6a04c0f6a1cde4bb7b3c184402;hb=517ec5ef7e873c8c75fa5f21f4b54e423fc21955;hp=a0375acd1a84412eda2ebcc4b3a753c755c5db8f;hpb=92ccab409fa4ec217b9334b9bc3f6677ad95db9b;p=helm.git

diff --git a/helm/interface/servers.txt b/helm/interface/servers.txt
index a0375acd1..b91a71522 100644
--- a/helm/interface/servers.txt
+++ b/helm/interface/servers.txt
@@ -1,3 +1,2 @@
-http://cadet/helm
 http://caristudenti.students.cs.unibo.it/~sacerdot/helm
 http://pagadebit.students.cs.unibo.it/really_very_local/helm/PARSER/examples