diff bin/_runme.sh @ 101:e2e64c3d763e

bug4 fixed, but that created a new, earlier bug
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 11 Sep 2023 22:06:45 +0100
parents 235004978b22
children 39c3835716f3
line wrap: on
line diff