vscode/extensions/theme-red/themes
2018-05-09 10:53:04 +02:00
..
Red-color-theme.json grid - retire editorGroup.background and add new colors for empty groups 2018-05-09 10:53:04 +02:00