Martin Aeschlimann 7516e0eff3 Theming: diff colors should be more specific. Fixes #25544		2017-04-27 21:54:54 +02:00
..
solarized-dark-color-theme.json	Theming: diff colors should be more specific. Fixes #25544	2017-04-27 21:54:54 +02:00