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/themes/monokai_pro_machine.toml | |
| parent | 39f7ba36e03c42c2c401a77fb3f10e9d6eb94fd0 (diff) | |
chore(theme): fix "ui.selection" for rose_pine themes (#1716)
Diffstat (limited to 'runtime/themes/monokai_pro_machine.toml')
0 files changed, 0 insertions, 0 deletions