diff bin/do_idx.sh @ 198:1ebc75d10a00

tweaked formatting
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 04 Dec 2023 10:40:47 +0000
parents 0326805aa6df
children 3ba401110c22
line wrap: on
line diff