From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 12 Jul 2005 08:26:56 +0000 (+0000)
Subject: added .moo
X-Git-Tag: pre_notation~33
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=708da00f4677538c0a3a23e9fd45681d1701225c;p=helm.git

added .moo
---

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 94c16e2d2..8f2ed8118 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -34,3 +34,4 @@ matitaclean.opt
 *.o
 *.swp
 matita.conf.xml
+*.moo