X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=2b239b4e5485ea3cd93a969023145bd85ca3c6f9;hb=88f24d23df67d88bf98c2ca32ac0d9854f3d9b00;hp=5e39120a92ea524f7a28fc96d821b39df5b314da;hpb=d5216e897267e4495290ecbf08eb9f88f6815a0c;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 5e39120a9..2b239b4e5 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -1160,15 +1160,6 @@
True