X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelmpot%2FREADME;fp=helm%2Fhelmpot%2FREADME;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=2e7cb0da0b95a74d08d8581f2eb59b5df0f5ebb9;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/helmpot/README b/helm/helmpot/README
deleted file mode 100644
index 2e7cb0da0..000000000
--- a/helm/helmpot/README
+++ /dev/null
@@ -1,18 +0,0 @@
-
-HELMPoT
--------
-
-HELMPoT is a small plug-out for Netscape Navigator in order to
-browse the HELM library. After installing the binary somewhere
-in your hard disk, just configure a new helper application in
-Netscape associated to the text/xml MIME type. The command
-to be executed should something of the kind:
-
-	helmpot '%s'
-
-assuming that helmpot is visible in your path.
-
-Enjoy,
-
-	luca.padovani@cs.unibo.it
-