diff bin/hdrMaster.sh @ 46:2e5b3439a2ed

start try to work around failures
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 08 Apr 2020 14:11:04 +0100
parents 9a1de2c4ffe3
children
line wrap: on
line diff