Daniel Ruiz de Alegría 1d679abd36 Gnome-Shell: change window-clone-border color

2020-04-21 22:23:33 +02:00

..

assets

Add new gnome shell dark/light themes

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

gnome-shell.css

Gnome-Shell: change window-clone-border color

2020-04-21 22:23:33 +02:00