.cvsignore files removed (the svn:property property is used instead)

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

diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore
deleted file mode 100644 (file)
index 1f613f3..0000000
--- a/helm/matita/.cvsignore
+++ /dev/null
@@ -1,45 +0,0 @@
-*.a
-*.annot
-autom4te.cache
-buildTimeConf.ml
-cicbrowser
-cicbrowser.opt
-*.cma
-*.cmi
-*.cmo
-*.cmx
-*.cmxa
-config.log
-config.status
-configure
-.depend
-gtkmathview.matita.conf.xml
-Makefile
-matita
-.matita
-matitac
-matitaclean
-matitaclean.opt
-matita.conf.xml
-matita.conf.xml
-matita.conf.xml.sample
-matitac.opt
-matitadep
-matitadep.opt
-matitaGeneratedGui.ml
-matitaGeneratedGui.mli
-matita.glade.bak
-matita.gladep
-matita.gladep.bak
-matitamake
-matitamake.opt
-matita.opt
-matita.opt
-dump_moo
-dump_moo.opt
-matitatop
-*.moo
-*.o
-*.static
-*.swp
-*.upx