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