diff bin/do_idx.sh @ 225:52b16f84ab14

rebuild with more consistent appearance
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 28 Feb 2024 15:13:38 +0000
parents 0326805aa6df
children 3ba401110c22
line wrap: on
line diff