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

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
-