diff bin/_runme.sh @ 117:f52783faf3ee

a bit more logging
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 26 Sep 2023 18:55:43 +0100
parents 235004978b22
children 39c3835716f3
line wrap: on
line diff