diff bin/_runme.sh @ 309:b6203074f18c trim

to fix unshrunk 2023-40, not yet working
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 22 Dec 2025 22:18:16 +0000
parents c2b93789b292
children d921f4a569d8
line wrap: on
line diff