diff options
author | chunghha | 2022-02-28 08:56:03 +0000 |
---|---|---|
committer | GitHub | 2022-02-28 08:56:03 +0000 |
commit | f9ad1cafdc4d91fe4378e4213a1b18389f0bd33b (patch) | |
tree | e53390adf819f78e5762dddcf72c454784f01929 /runtime/tutor.txt | |
parent | 39f7ba36e03c42c2c401a77fb3f10e9d6eb94fd0 (diff) |
chore(theme): fix "ui.selection" for rose_pine themes (#1716)
Diffstat (limited to 'runtime/tutor.txt')
0 files changed, 0 insertions, 0 deletions