diff options
| author | Laurenz <laurmaedje@gmail.com> | 2020-10-12 16:59:21 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2020-10-12 16:59:21 +0200 |
| commit | e94627721db89c3b08aa17f54d59d19a09f7816f (patch) | |
| tree | 01d5f64d48beaa1c5edc848f9a2a6fe5b36386d7 /src/syntax | |
| parent | a2a68106c025ada726e291df4d7e5aa624f68410 (diff) | |
Adapt to fontdock 🔼
Diffstat (limited to 'src/syntax')
0 files changed, 0 insertions, 0 deletions