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