diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-05-27 11:25:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-27 11:25:43 +0200 |
| commit | 94edf16272df95a4d90ec3537f921c2fca20b903 (patch) | |
| tree | 8ba93e0d6b2823063a918d10f528f003b9c671cf /misc | |
| parent | 2b25147450f5ae14a5b08fa7e70c8b7aa8f63742 (diff) | |
| parent | fa5aa11898d897cdacd344e1c5d503e485483d51 (diff) | |
Merge pull request #8929 from nunodonato/themecolors
Added color presets for easy theme switching
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions