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-23 15:36:18 +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 gnome-shell tweaks 2016-03-23 15:36:18 +01:00
3.20 adapt to changes in GTK+ 3.19.x 2016-02-19 11:06:17 +01:00