diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-16 14:20:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-16 14:20:12 +0100 |
| commit | a57960cf062128f90f60db05991968d79b11a90b (patch) | |
| tree | feba3959df526d45848957e72814918ededba29a /editor/editor_run.cpp | |
| parent | 8c27673dc04409be6ffff690d51cccc47caafe9e (diff) | |
| parent | 9d73cdd05d423a79525d21668ce47a8191b91fc5 (diff) | |
Merge pull request #25910 from Chaosus/fix_solarized_dark_theme
Increased contrast of solarized dark theme
Diffstat (limited to 'editor/editor_run.cpp')
0 files changed, 0 insertions, 0 deletions