snapshot, notably:

[helm.git] / helm / matita / .cvsignore

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
index ef69ec2b79c4cb2e5aa9d7f9fa492685f43bdf49..381f91c1a01190cad9e3c7323dba5f1116916afd 100644 (file)
--- 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]