]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/.cvsignore
ocaml 3.09 transition
[helm.git] / helm / uwobo / .cvsignore
index 2fd79ea4532996c0973e50516f3cad4a753c9e35..7a77a0ecd868fcb0ca71707bb97412e8c824cdac 100644 (file)
@@ -1,5 +1,7 @@
-build
-docs
-resources
-backup
-dist
+*.cmi
+*.cmo
+*.cmx
+*.cma
+*.cmxa
+uwobo
+uwobo.opt