1
0
mirror of https://github.com/horst3180/arc-theme.git synced 2024-10-27 19:04:02 +00:00
horst3180_arc-theme/common/gnome-shell
2016-03-31 19:06:58 +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: make aggregate-menu a little wider (fix #447) 2016-03-31 19:06:58 +02:00
3.20 adapt to changes in GTK+ 3.19.x 2016-02-19 11:06:17 +01:00