Horst3180 a9ec7e8c22 cleanup

2015-09-15 13:20:36 +02:00

..

3.14

some gnome-shell fixes

2015-09-11 17:47:13 +02:00

3.16

tweak color scheme and window buttons

2015-09-09 23:50:14 +02:00

3.18

cleanup

2015-09-15 13:20:36 +02:00