Mattia Astorino 16230f2ee3 fix: Fix editor marker navigation color		2017-06-20 15:50:29 +02:00
..
settings/specific	chore: Update darkder sidebar foreground	2017-06-03 19:36:17 +02:00
theme-template-color-theme.json	fix: Fix editor marker navigation color	2017-06-20 15:50:29 +02:00