diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-03 11:50:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-03 11:50:18 +0200 |
| commit | de648e552bf651ea465bf9fd4fc9b863e04077a8 (patch) | |
| tree | e6194ffc0152d73f4d6b4bb23e173e46fb157c87 /.editorconfig | |
| parent | 44b741dd3c49fef26874872f9208bfa804fdecbe (diff) | |
| parent | fd236a4b6cb4619844c7fd0bafa6a4dc089d8019 (diff) | |
Merge pull request #6575 from Geequlim/more_themes
More custom theme support for editor
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions