Re:Pure Java Typesetting System
by patrec on Monday January 23, 2023 @05:54PM
(#34496280)
Here you are, "gradle build" works with this cleaned up and faster version (and the diff looks plausible on first sight):
(The $(echo $javas) is so it works in both bash and zsh).
[ Parent
| on HN ]
There are no comments on this comment yet.