Archives/horst3180_arc-theme
1
0
Fork 0
mirror of https://github.com/horst3180/arc-theme.git synced 2024-10-27 19:04:02 +00:00
Code Issues Projects Releases Wiki Activity
3095952c1e
horst3180_arc-theme/common/gnome-shell
History
Horst3180 1de4ef7977 gnome-shell: remove menu separator margins
2016-06-03 23:55:56 +02:00
..
3.14 gnome-shell: remove menu separator margins 2016-06-03 23:55:56 +02:00
3.16 gnome-shell: remove menu separator margins 2016-06-03 23:55:56 +02:00
3.18 gnome-shell: remove menu separator margins 2016-06-03 23:55:56 +02:00
3.20 adapt to changes in GTK+ 3.19.x 2016-02-19 11:06:17 +01:00