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

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