]> git.pld-linux.org Git - packages/gnome-panel.git/history - gnome-panel-top_panel_size.patch
- updated for gnome-panel-2.6.1
[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.187901 seconds and 7 git commands to generate.