Le lundi 13 juin 2005 à 22:27 +0200, Josselin Mouette a écrit : > Shouldn't we remove these directories from gnome-settings.menu instead? Right, I've uploaded a new version with this change (upstream have already changed than on the CVS some time ago). Cheers, Sebastien Bacher