diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-15 10:46:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-15 10:46:48 +0200 |
| commit | d4bdbbc7d4a0e4676188791ad31cef9de3cfbd3f (patch) | |
| tree | 271ad5e18b61e159cfd401272a14df8ff6a5abfd /core | |
| parent | f2cd1e0c15855f3b7b7ede5c1db95cc4d61ac10c (diff) | |
| parent | a63683e312f607da9d9038f963816a67d173fb1f (diff) | |
Merge pull request #19553 from guilhermefelipecgs/fix_solarized_theme
Small improvement to solarized theme
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions