X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=381f91c1a01190cad9e3c7323dba5f1116916afd;hb=567bddeb2cb49029607b7517fbcaa9a973cb0d23;hp=ef69ec2b79c4cb2e5aa9d7f9fa492685f43bdf49;hpb=c5d4ad1c98c1434b95a8a9b1c8697dd36cf39623;p=helm.git

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index ef69ec2b7..381f91c1a 100644
--- a/helm/matita/.cvsignore
+++ b/helm/matita/.cvsignore
@@ -6,6 +6,8 @@ config.log
 autom4te.cache
 matita
 matita.opt
+matitac
+matitac.opt
 *.cm[aiox]
 *.cmxa
 *.[ao]