Benjamin Pasero 8a34b0ebd7 editorHeaderBackground => editorGroupHeaderBackground		2017-04-27 14:58:28 +02:00
..
themes	editorHeaderBackground => editorGroupHeaderBackground	2017-04-27 14:58:28 +02:00
OSSREADME.json
package.json	[themes] solarized-dark polish: add colors for peek, hover (#23638)	2017-03-30 10:48:17 +02:00