X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=1498f48926b9e7406c41b7188b20e23f73217432;hb=33a02e0b639217093eb63f30169aaa6ac8c78907;hp=94c16e2d205f55a8b6eadb576205112c6b74bad3;hpb=5d6f84f769b7634ae990e0ad5d21c59bc3a9eccf;p=helm.git diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore index 94c16e2d2..1498f4892 100644 --- a/helm/matita/.cvsignore +++ b/helm/matita/.cvsignore @@ -31,6 +31,11 @@ matitadep matitadep.opt matitaclean matitaclean.opt +matitamake +matitamake.opt *.o *.swp matita.conf.xml +*.moo +matita.conf.xml.sample +gtkmathview.matita.conf.xml