From d4a027be22bc81d5dcb4d8dd39bd064aa61c1725 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 12 Jul 2005 08:28:23 +0000
Subject: [PATCH] added matitamake

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

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index a2cc123c3..bf527ad6c 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -31,6 +31,8 @@ matitadep
 matitadep.opt
 matitaclean
 matitaclean.opt
+matitamake
+matitamake.opt
 *.o
 *.swp
 matita.conf.xml
-- 
2.39.2