From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 May 2004 09:32:28 +0000 (+0000)
Subject: no longer needed
X-Git-Tag: V_0_0_9~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b64304c97d0ede58a54f8deb9a297d4247f254b8;p=helm.git

no longer needed
---

diff --git a/helm/DEVEL/ocaml-http/tophttp b/helm/DEVEL/ocaml-http/tophttp
deleted file mode 100644
index 64694a213..000000000
--- a/helm/DEVEL/ocaml-http/tophttp
+++ /dev/null
@@ -1,5 +0,0 @@
-#use "topfind";;
-#require "unix";;
-#require "pcre";;
-#require "netstring";;
-#load "http.cma";;