X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.glade;h=85c9f280940226c4e8335b5cadabbcbbf278156a;hb=1f946a70bc439ced80c695f0fd0c210df0d3b767;hp=23e411bb039f13277c82fe24c9e8f853417114a4;hpb=4f5afdc73a5331357c3410858d5202a98832e59b;p=helm.git diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade index 23e411bb0..85c9f2809 100644 --- a/matita/matita/matita.glade +++ b/matita/matita/matita.glade @@ -707,7 +707,7 @@ True True True - +