checked in new version of matita from svn

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

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
new file mode 100644 (file)
index 0000000..004b4c5
--- /dev/null
+++ b/helm/matita/.cvsignore
@@ -0,0 +1,29 @@
+*.a
+*.annot
+autom4te.cache
+buildTimeConf.ml
+cicbrowser
+cicbrowser.opt
+*.cma
+*.cmi
+*.cmo
+*.cmx
+*.cmxa
+config.log
+config.status
+configure
+.depend
+Makefile
+matita
+.matita
+matitac
+matitac.opt
+matitaGeneratedGui.ml
+matitaGeneratedGui.mli
+matita.glade.bak
+matita.gladep
+matita.gladep.bak
+matita.opt
+matita.opt
+*.o
+*.swp