Horst3180 d3c057375a gnome-shell: don't use border-images for the dash (#329)		2016-01-31 00:40:07 +01:00
..
dash	gnome-shell: don't use border-images for the dash (#329)	2016-01-31 00:40:07 +01:00
menu	gnome-shell theme improvements and some osd redesign	2015-08-13 01:15:17 +02:00
misc	add dark gnome-shell and cinnamon themes	2015-09-16 20:34:40 +02:00
panel	tweak color scheme and window buttons	2015-09-09 23:50:14 +02:00