switch to shell scripts
[convexer.git] / makedist.sh
2022-04-28 hgnswitch to shell scripts