X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2F.cvsignore;h=1498f48926b9e7406c41b7188b20e23f73217432;hb=efae8adf7d5b42bff9d96cafb7abc0a09f08da32;hp=bf527ad6ca0002ce86f91cbf4b9427a290218991;hpb=d4a027be22bc81d5dcb4d8dd39bd064aa61c1725;p=helm.git diff --git a/helm/matita/.cvsignore b/helm/matita/.cvsignore index bf527ad6c..1498f4892 100644 --- a/helm/matita/.cvsignore +++ b/helm/matita/.cvsignore @@ -38,3 +38,4 @@ matitamake.opt matita.conf.xml *.moo matita.conf.xml.sample +gtkmathview.matita.conf.xml