Dag Paul, Paul van der Vlis schreef:
> Het lijkt me nu dat het probleem > in het pakket gnome-menus zit: > https://packages.debian.org/jessie/gnome-menus Ik heb het source-pakket van gnome-menus eens bekeken, maar ik heb niet de indruk dat het probleem daar te situeren valt. En zelf ken ik onvoldoende van de inwendige keuken om een idee te hebben waar dan wel. Weet iemand anders het wel? Of misschien hoe achterhaald kan worden in welk specifiek pakket het probleem te vinden is? Groetjes, Frans -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
