GNOME Bugzilla – Bug 143963
Remove Distro Menu
Last modified: 2004-12-22 21:47:04 UTC
As seen on ML (tm): http://lists.gnome.org/archives/desktop-devel-list/2004-June/msg00045.html regs, Chris
Created attachment 28477 [details] [review] Proposed patch against HEAD. Applying the patch and doing rm gnome-panel/distribution.c gnome-panel/distribution.h && cvs delete gnome-panel/distribution.c gnome-panel/distribution.h should do the trick.
I don't remember what was the decision about this... Note that bug 139090 is similar to this one.
*** Bug 125545 has been marked as a duplicate of this bug. ***
Comment on attachment 28477 [details] [review] Proposed patch against HEAD. If you have time to update the patch, please commit to HEAD. I'll do it if you don't have time.
And it'd be great to close bug #139090 once the patch is committed :-)
Done. Thanks for your review efforts.