| ▲ | mgaunard 5 hours ago | |
What about hyphenization? | ||
| ▲ | simonw 4 hours ago | parent [-] | |
That's in there too: https://github.com/chenglou/pretext/blob/53a065b8a345fc29831... | ||
| ▲ | mgaunard 5 hours ago | |
What about hyphenization? | ||
| ▲ | simonw 4 hours ago | parent [-] | |
That's in there too: https://github.com/chenglou/pretext/blob/53a065b8a345fc29831... | ||