diff bin/extract.sh @ 104:61122560ae0c

-x barely working
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 19 Apr 2021 18:09:51 +0000
parents 1e479e3ea9c4
children
line wrap: on
line diff