From 3cb94e90fc5ee51fed59c9169aa9a08db6389210 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 16 Nov 2005 11:38:56 +0000
Subject: [PATCH] dump_moo.opt

---
 helm/matita/.cvsignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.39.2