dump_moo.opt

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index db41158dead619952d1ecd8eb138f0bca6278480..1f613f38a801c5be3da3389a24bb1a17f83b899f 100644 (file)
--- 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