diff bin/do_idx.sh @ 297:5e08e6db47ad

add another digit or two (segment #) to key for r_t
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 05 May 2025 20:57:30 +0100
parents 0326805aa6df
children 3ba401110c22
line wrap: on
line diff