|
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 |
