diff plinksJob.sh @ 48:307e0c44925a

log more, work around more glitches
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Fri, 10 Apr 2020 18:22:48 +0100
parents 29263ba42361
children
line wrap: on
line diff