From b64304c97d0ede58a54f8deb9a297d4247f254b8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 20 May 2004 09:32:28 +0000 Subject: [PATCH] no longer needed --- helm/DEVEL/ocaml-http/tophttp | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 helm/DEVEL/ocaml-http/tophttp 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";; -- 2.39.2