From 708da00f4677538c0a3a23e9fd45681d1701225c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 12 Jul 2005 08:26:56 +0000
Subject: [PATCH] added .moo

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

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