Daniel Ruiz de Alegría 3bf39bacbb Gnome-Shell: Remove dash border

2020-04-22 04:27:59 +02:00

..

gnome-shell

Gnome-Shell: Remove dash border

2020-04-22 04:27:59 +02:00

gtk-2.0

Improve GTK2 themes menu design

2019-12-01 19:59:23 +01:00

gtk-3.0

GTK3: Fix checkbox icon color

2020-04-22 02:25:47 +02:00

xfwm4

Fix xfwm4 square corner while window content is loading

2019-11-19 10:08:21 +01:00

index.theme

Move all files installed below /usr/share in the same directory

2019-11-07 10:32:21 +01:00