> Ho trovato questo: > /etc/xdg/menus/debian-menu.menu > chissa come c'é finito.... il pacchetto e' menu-xdg: forse c'e' qualche errore col pacchetto? M