diff options
| author | Pascal Kuthe | 2022-10-06 22:09:55 +0000 |
|---|---|---|
| committer | Pascal Kuthe | 2022-10-06 22:18:49 +0000 |
| commit | 4c36c067b06e3bba24e0b2bd0f40f259ca6c8b41 (patch) | |
| tree | 1875b8575e20fbbc32cda794f74644272c701694 /runtime/grammars/.gitkeep | |
| parent | 7bc324fde986fab2ded2ad29d7b5244521eddc44 (diff) | |
avoid visual artificats on terminal emulators that do not support underline colors
Diffstat (limited to 'runtime/grammars/.gitkeep')
0 files changed, 0 insertions, 0 deletions