X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;h=72ba3db8c62fcfb806e7c1bd0c601aa5930d7397;hb=8ee0e6f729105eaf1907de0baef22e170b0d17b3;hp=e50642a61c18deec5c726b1440cdf278b96ee4fc;hpb=8b7c1699bf9c2d461ae572aac0e5b0e16c1b3dc5;p=helm.git diff --git a/matita/matita.glade b/matita/matita.glade index e50642a61..72ba3db8c 100644 --- a/matita/matita.glade +++ b/matita/matita.glade @@ -910,7 +910,7 @@ True Paste Unicode as TeX True - True + False