For the record, since there is still no way to easily blacklist Debian entries, I’ve uploaded a new gnome-menus package which hardcodes discarding of anything belonging to menu-xdg.
Of course this doesn’t help users of other desktop environments, but hopefully for GNOME the Debian menu won’t ever be a problem anymore. Adios, -- .''`. Josselin Mouette : :' : `. `' `- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
