From f3ae21edf39f33e4e9af1fafa1d2cde119d5cdc6 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 25 Oct 2005 12:53:55 +0000
Subject: [PATCH] dump_moo added

---
 helm/matita/.cvsignore | 1 +
 1 file changed, 1 insertion(+)

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