From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 25 Oct 2005 12:53:55 +0000 (+0000)
Subject: dump_moo added
X-Git-Tag: V_0_7_2_3~197
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f3ae21edf39f33e4e9af1fafa1d2cde119d5cdc6;p=helm.git

dump_moo added
---

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 1498f4892..babd18569 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -33,6 +33,7 @@ matitaclean
 matitaclean.opt
 matitamake
 matitamake.opt
+dump_moo
 *.o
 *.swp
 matita.conf.xml