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-01-31 00:54:50 +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 gnome-shell: don't use border-images for the dash (#329) 2016-01-31 00:40:07 +01:00