Horst3180 8eaefcf4d9 more fixes		2016-03-23 21:46:35 +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	more fixes	2016-03-23 21:46:35 +01:00
3.20	adapt to changes in GTK+ 3.19.x	2016-02-19 11:06:17 +01:00