diff options
author | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-04-29 20:11:52 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-29 20:11:52 +0200 |
commit | 00a414dbb57e37fbcc68b75e513bdbbf13854008 (patch) | |
tree | f449b30da812feefe03fbb05c6263692c14fa2c3 /.github/workflows | |
parent | b84077ca22e9d9b46291978e04a7fbd5342cb7c1 (diff) | |
parent | b57deb13783c6fb4c9804dd57451e48fbd508112 (diff) |
Merge pull request #23 from cherrry/error-cursorline-fix
Fix error group highlighting under cursorline.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions