Daniel Ruiz de Alegría 92dc28a196 Gnome-Shell: remove dash-to-dock padding

2021-11-04 10:07:26 +01:00

..

assets

Add new gnome shell dark/light themes

2020-01-08 20:51:43 +00:00

gnome-shell.css

Gnome-Shell: remove dash-to-dock padding

2021-11-04 10:07:26 +01:00