diff options
author | Blaž Hrastnik | 2022-10-19 04:51:13 +0000 |
---|---|---|
committer | GitHub | 2022-10-19 04:51:13 +0000 |
commit | 418a622db9d957d09e10ccbc3897d8ac9268dc8e (patch) | |
tree | 6e69857287580ab24c1e60ac199138ac23dc37df /runtime/queries/elm/locals.scm | |
parent | faf0c521d15c314f411cc6178024c5d3310212da (diff) | |
parent | 66a49080bc7e492c37f9cd10ed36a696de1787a3 (diff) |
Merge pull request #4061 from pascalkuthe/undercurl-modifier
Support different kinds of underline rendering (updated)
Diffstat (limited to 'runtime/queries/elm/locals.scm')
0 files changed, 0 insertions, 0 deletions