X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=1f613f38a801c5be3da3389a24bb1a17f83b899f;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=cb1984a8baeb297ad6599ff1183b313b35ce4a1e;hpb=a366e5398deeb0659978a4d8ae647cbb6b0a2c36;p=helm.git diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore index cb1984a8b..1f613f38a 100644 --- a/helm/matita/.cvsignore +++ b/helm/matita/.cvsignore @@ -1,4 +1,3 @@ -matita.conf.xml *.a *.annot autom4te.cache @@ -14,22 +13,33 @@ 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 -matitadep -matitadep.opt -matitaclean -matitaclean.opt +*.moo *.o +*.static *.swp +*.upx