diff listHdrsJob.sh @ 54:8154560f1e3d

as used successfully for 3rd run
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 13 Apr 2020 17:29:31 +0100
parents 65a56c0d1c1f
children
line wrap: on
line diff