diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-22 17:14:59 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-08-22 17:14:59 -0400 |
| commit | c8fd5abe3abad1251ce438d3dd3e640acde8990f (patch) | |
| tree | c1c8696589be2182d5e479bfd5cb0ee95bed2346 /docs/spec | |
| parent | df6dec5e56f486a5c32c3e671a991e760a402998 (diff) | |
Fix handling of • with 𝕣-names
Diffstat (limited to 'docs/spec')
0 files changed, 0 insertions, 0 deletions