X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2F.cvsignore;h=7a77a0ecd868fcb0ca71707bb97412e8c824cdac;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=2fd79ea4532996c0973e50516f3cad4a753c9e35;hpb=02bc1a8c06b2d2c5169c9f1beecf9daa94a85247;p=helm.git

diff --git a/helm/uwobo/.cvsignore b/helm/uwobo/.cvsignore
index 2fd79ea45..7a77a0ecd 100644
--- a/helm/uwobo/.cvsignore
+++ b/helm/uwobo/.cvsignore
@@ -1,5 +1,7 @@
-build
-docs
-resources
-backup
-dist
+*.cmi
+*.cmo
+*.cmx
+*.cma
+*.cmxa
+uwobo
+uwobo.opt