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/tutor | |
| 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/tutor')
0 files changed, 0 insertions, 0 deletions