]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/.cvsignore
snapshot Wed, 27 Nov 2002 18:10:57 +0100
[helm.git] / helm / uwobo / src / ocaml / .cvsignore
index 3535ea5d515df554de99c911747fb7d15a831cb2..7a77a0ecd868fcb0ca71707bb97412e8c824cdac 100644 (file)
@@ -3,4 +3,5 @@
 *.cmx
 *.cma
 *.cmxa
-uwobo*
+uwobo
+uwobo.opt