X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=bf527ad6ca0002ce86f91cbf4b9427a290218991;hb=5022202a659044d981833ba8665424a52684b07f;hp=94c16e2d205f55a8b6eadb576205112c6b74bad3;hpb=5d6f84f769b7634ae990e0ad5d21c59bc3a9eccf;p=helm.git

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index 94c16e2d2..bf527ad6c 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -31,6 +31,10 @@ matitadep
 matitadep.opt
 matitaclean
 matitaclean.opt
+matitamake
+matitamake.opt
 *.o
 *.swp
 matita.conf.xml
+*.moo
+matita.conf.xml.sample