7766a91e8c
gnome-panel is going away in 3.8, so we can't rely on it to provide our friendly and reliable companion. But no regret, because we can ship it ourselves, and at the same time remove some unnecessary configuration. https://bugzilla.gnome.org/show_bug.cgi?id=695526 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
ui | ||
Makefile.am |