]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create2/mk_forward/.cvsignore
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / create2 / mk_forward / .cvsignore
index 4f907d6556957c710bb0be9489ecdcbe55b35c3c..9aee29b3636518f4abc32e43209b6bd7b2309d6e 100644 (file)
@@ -1 +1 @@
-*.cmi *.cmo *.cmx .depend mk_forward mk_forward.opt configuration.ml
+*.cmi *.cmo *.cmx mk_forward mk_forward.opt