X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=1f613f38a801c5be3da3389a24bb1a17f83b899f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=db41158dead619952d1ecd8eb138f0bca6278480;hpb=6fa89cef6aa8fc1774db065a9fcfc47867579054;p=helm.git

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index db41158de..1f613f38a 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -13,7 +13,6 @@ config.log
 config.status
 configure
 .depend
-dump_moo
 gtkmathview.matita.conf.xml
 Makefile
 matita
@@ -36,6 +35,8 @@ matitamake
 matitamake.opt
 matita.opt
 matita.opt
+dump_moo
+dump_moo.opt
 matitatop
 *.moo
 *.o