diff options
author | Blaž Hrastnik | 2021-08-08 05:07:14 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2021-08-08 05:10:01 +0000 |
commit | a2ccfffda1171bde5118c1a1120af49dc87aecca (patch) | |
tree | 54138341e17ebf600c37c9830914a546ce39fb04 /runtime/themes | |
parent | f0eb6ed96a6e61ee6abe3aa14071cfc003d0b37f (diff) |
config: Rename [terminal] to [editor] and pass it into Editor
Diffstat (limited to 'runtime/themes')
0 files changed, 0 insertions, 0 deletions