diff bin/extract.sh @ 37:ef3533d3ac4b

clean up after ourselves
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 02 Apr 2020 19:13:14 +0100
parents 1e479e3ea9c4
children
line wrap: on
line diff