diff options
| author | Pascal Kuthe | 2023-01-18 16:28:45 +0000 |
|---|---|---|
| committer | GitHub | 2023-01-18 16:28:45 +0000 |
| commit | 7868e5f2d8ab193431e45b8bb3cd048e766328c4 (patch) | |
| tree | 3d016ecaa504bff53b83165447d4006babd1b554 /contrib | |
| parent | 1b69c7b4af8867f46365f6e04ab2ba29676c312c (diff) | |
highlight non-bar cursors (#5575)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions