X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fmenu.xml;h=60431f45eb813494be660883a61ae549ad32dfc3;hb=8c578ae2acfb32b39610aebbd4baab3a31775a9f;hp=67af04e3aaf49ff97348a3392c84b94def506972;hpb=a615db0bb168a3521a90868d08aa7b7e8aa87334;p=helm.git diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml index 67af04e3a..60431f45e 100644 --- a/helm/mowgli/home/xml/menu.xml +++ b/helm/mowgli/home/xml/menu.xml @@ -27,7 +27,7 @@