3.16
|
gnome-shell: reduce dash padding (fix #561)
|
2016-10-14 12:57:27 +02:00 |
3.18
|
gnome-shell: reduce dash padding (fix #561)
|
2016-10-14 12:57:27 +02:00 |
3.20
|
adapt to changes in GTK+ 3.19.x
|
2016-02-19 11:06:17 +01:00 |
3.22
|
add build support for Gnome 3.22
|
2016-08-31 00:22:52 +02:00 |