Benjamin Pasero e7ff4c373f Add workbench/editor colors to our built in themes (fixes #25327)		2017-04-29 15:01:44 +02:00
..
solarized-dark-color-theme.json	Add workbench/editor colors to our built in themes (fixes #25327)	2017-04-29 15:01:44 +02:00