renamed mathita to matita

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

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
new file mode 100644 (file)
index 0000000..ef69ec2
--- /dev/null
+++ b/helm/matita/.cvsignore
@@ -0,0 +1,11 @@
+Makefile
+buildTimeConf.ml
+config.status
+configure
+config.log
+autom4te.cache
+matita
+matita.opt
+*.cm[aiox]
+*.cmxa
+*.[ao]