X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=4739e14f80ee6a30c4688776d99699bb5a7b16de;hb=09485b72e01e5aa1d2a03fa56e3c7e0dfef7d3d3;hp=5e39120a92ea524f7a28fc96d821b39df5b314da;hpb=21da7b0b7cd14ebc928a84ca9f53793e3956dfb7;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 5e39120a9..4739e14f8 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1160,15 +1160,6 @@
True