diff bin/extract.sh @ 193:fff248a65e39

works, although output not checked
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 25 Sep 2024 13:52:42 +0100
parents 1e479e3ea9c4
children
line wrap: on
line diff