X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=5e39120a92ea524f7a28fc96d821b39df5b314da;hb=85857e1832b921fdba61be9e7fbfc81da50f38f6;hp=34121dd9f9d651ea5fe45465818dadd562033847;hpb=65aa5d46b240da7b91e57fc74890d8544aa479c3;p=helm.git diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade index 34121dd9f..5e39120a9 100644 --- a/helm/software/matita/matita.glade +++ b/helm/software/matita/matita.glade @@ -11,7 +11,6 @@ 500 480 True - MainWin True