X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fuwobo%2Fsrc%2Focaml%2F.cvsignore;h=7a77a0ecd868fcb0ca71707bb97412e8c824cdac;hb=0b355077f75aa8dc78ef76a77fbb95b5b161644f;hp=3535ea5d515df554de99c911747fb7d15a831cb2;hpb=38d9fb165745652a56f92d48ab3b02153e5a187a;p=helm.git

diff --git a/helm/uwobo/src/ocaml/.cvsignore b/helm/uwobo/src/ocaml/.cvsignore
index 3535ea5d5..7a77a0ecd 100644
--- a/helm/uwobo/src/ocaml/.cvsignore
+++ b/helm/uwobo/src/ocaml/.cvsignore
@@ -3,4 +3,5 @@
 *.cmx
 *.cma
 *.cmxa
-uwobo*
+uwobo
+uwobo.opt