X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fmenu.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fmenu.xml;h=ddc4242eaebc05ac771cdabe0108b5e6acfbab15;hb=15e953c4d3c695b28c88d966c57634edd23ecbba;hp=afb54c8df70838e05e2cdd59ba9f29c0fe166fff;hpb=cdef749ec7b56afaee14c77abbc157797b9705ed;p=helm.git diff --git a/helm/mowgli/home/xml/menu.xml b/helm/mowgli/home/xml/menu.xml index afb54c8df..ddc4242ea 100644 --- a/helm/mowgli/home/xml/menu.xml +++ b/helm/mowgli/home/xml/menu.xml @@ -97,11 +97,14 @@ - + + + +