]> git.pld-linux.org Git - packages/gnome-panel.git/history - gnome-panel-top_panel_size.patch
- fix breakage introduced in 2.10.2
[packages/gnome-panel.git] / gnome-panel-top_panel_size.patch
2012-06-24 Marcin Krzyżanowski- set default top panel to 24
This page took 0.04455 seconds and 7 git commands to generate.