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	fix permissions	2016-01-15 22:05:17 +01:00
panel	tweak color scheme and window buttons	2015-09-09 23:50:14 +02:00