ajacoutot adc0b9e75a From Ubuntu: disable help buttons since gnome-panel help is no longer in ...

the GNOME user guide.
(https://bugs.launchpad.net/ubuntu/+source/gnome-panel/+bug/885959)

2012-01-25 18:18:13 +00:00

..

patches

From Ubuntu: disable help buttons since gnome-panel help is no longer in

2012-01-25 18:18:13 +00:00

pkg

Use MODGNOME_ICON_CACHE.

2011-12-03 22:17:15 +00:00

distinfo

Update to gnome-panel-3.2.1.

2011-10-16 15:11:26 +00:00

Makefile

From Ubuntu: disable help buttons since gnome-panel help is no longer in

2012-01-25 18:18:13 +00:00