Horst3180 aa363fd608 update gnome-shell theme		2016-03-23 15:07:41 +01:00
..
3.14	dash: add border	2016-01-31 00:54:50 +01:00
3.16	gnome-shell: don't use border-images for the dash (#329)	2016-01-31 00:40:07 +01:00
3.18	update gnome-shell theme	2016-03-23 15:07:41 +01:00
3.20	adapt to changes in GTK+ 3.19.x	2016-02-19 11:06:17 +01:00