diff bin/doExtract.sh @ 39:822cfbf134d3

towards re-running extraction in part
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 02 Apr 2020 19:14:23 +0100
parents ef3533d3ac4b
children
line wrap: on
line diff