Silvan Calarco 21666706ec Update color-scheme and try to disable by default mouse wheel desktop switch		2015-06-24 22:40:48 +02:00
..
10-openmamba-theme.js.in	Update color-scheme and try to disable by default mouse wheel desktop switch	2015-06-24 22:40:48 +02:00