X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.glade;h=85c9f280940226c4e8335b5cadabbcbbf278156a;hb=77c6a180035cd63f3edd4db54bd7e9b411f9e85e;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
-
+