]> git.pld-linux.org Git - packages/gnome-panel.git/history - gnome-panel-top_panel_size.patch
projects / packages / gnome-panel.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- banner info fix, rel. 2
[packages/gnome-panel.git] / gnome-panel-top_panel_size.patch
2012-06-24 Marcin Krzyżanowski- set default top panel to 24 blob | commitdiff | raw
The core programs for the GNOME GUI desktop environment
This page took 0.285024 seconds and 7 git commands to generate.