]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/.ocamlinit
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / ocaml / registry / .ocamlinit
diff --git a/helm/ocaml/registry/.ocamlinit b/helm/ocaml/registry/.ocamlinit
deleted file mode 100644 (file)
index c5d8a80..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-#use "topfind";;
-#thread;;
-#require "str";;
-#require "netstring";;
-#require "pxp";;
-#load "registry.cma";;