X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_test%2F.cvsignore;fp=helm%2Focaml%2Fmathql_test%2F.cvsignore;h=6e9e9c2c28b947e0e1fba2aa8c619473145b316e;hb=39b9497090ee5cc501de1e3d9044d71fdc5cf1fb;hp=bf48dbb5b9f33b200ba673451664a4ed956f817a;hpb=44d9d4ba98b90e6f90d87cae787573e648592ba6;p=helm.git

diff --git a/helm/ocaml/mathql_test/.cvsignore b/helm/ocaml/mathql_test/.cvsignore
index bf48dbb5b..6e9e9c2c2 100644
--- a/helm/ocaml/mathql_test/.cvsignore
+++ b/helm/ocaml/mathql_test/.cvsignore
@@ -1 +1 @@
-*.cm[aiox] *.cmxa *.opt mqtop mqitop examples
+*.cm[aiox] *.cmxa *.opt mqtop mqitop examples*