Mattia Astorino 900e0fb069 chore: Fix scrollbar active slider color ... Fix #35		2017-05-12 10:04:50 +02:00
..
settings	chore: Update workbench theme	2017-05-10 09:03:44 +02:00
theme-template-color-theme.json	chore: Fix scrollbar active slider color	2017-05-12 10:04:50 +02:00