diff bin/do_idx.sh @ 314:5c4d68911dd3 trim

date-stamp still wrong
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 23 Dec 2025 17:14:19 +0000
parents 0326805aa6df
children 3ba401110c22
line wrap: on
line diff