diff options
| author | workingj | 2023-02-16 14:45:43 +0000 |
|---|---|---|
| committer | GitHub | 2023-02-16 14:45:43 +0000 |
| commit | d27e808fb3565d59b3082e4ce0bc8e381a03e16e (patch) | |
| tree | 86a35fc5cebcf06e8d6dbd783b97b66d9800f187 /runtime/grammars | |
| parent | b7fb52d0e4dff13bab07ff081ec86808e265466f (diff) | |
feat(theme) ajust pop-dark and clean up gutter linehlght (#5992)
Diffstat (limited to 'runtime/grammars')
0 files changed, 0 insertions, 0 deletions