X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=1498f48926b9e7406c41b7188b20e23f73217432;hb=51d82e0a8a4d4ed86d2646edb2654e565ac34a82;hp=a2cc123c3725ef8c2bf915af4dd7f428b1aeece2;hpb=f9796ee9daea89f656ea26c1aba6091a9e226c4c;p=helm.git diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore index a2cc123c3..1498f4892 100644 --- a/helm/matita/.cvsignore +++ b/helm/matita/.cvsignore @@ -31,8 +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