Benjamin Pasero 2b73072d2e theme - get rid of list.focusAndSelectionBackground		2017-04-28 20:03:43 +02:00
..
solarized-dark-color-theme.json	theme - get rid of list.focusAndSelectionBackground	2017-04-28 20:03:43 +02:00