Horst3180 7e7fd197b6 gnome-shell: fix entries

2016-03-30 20:30:06 +02: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

gnome-shell: fix entries

2016-03-30 20:30:06 +02:00

3.20

adapt to changes in GTK+ 3.19.x

2016-02-19 11:06:17 +01:00