]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 61c258b)
no longer needed
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 09:32:28 +0000 (09:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 May 2004 09:32:28 +0000 (09:32 +0000)
helm/DEVEL/ocaml-http/tophttp [deleted file] patch | blob | history

diff --git a/helm/DEVEL/ocaml-http/tophttp b/helm/DEVEL/ocaml-http/tophttp
deleted file mode 100644 (file)
index 64694a2..0000000
--- a/helm/DEVEL/ocaml-http/tophttp
+++ /dev/null
@@ -1,5 +0,0 @@
-#use "topfind";;
-#require "unix";;
-#require "pcre";;
-#require "netstring";;
-#load "http.cma";;
Unnamed repository; edit this file 'description' to name the repository.