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