|
dash
|
remove outdated dash-to-dock styling
|
2015-11-15 19:07:20 +01:00 |
|
menu
|
gnome-shell: update to 3.18
|
2015-09-12 18:36:34 +02:00 |
|
misc
|
gnome-shell: fix spinner image
|
2015-09-14 12:45:49 +02:00 |
|
panel
|
gnome-shell: update to 3.18
|
2015-09-12 18:36:34 +02:00 |
