diff bin/do_idx.sh @ 175:684370d1bf22

do the __main__ thing
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Fri, 24 Nov 2023 19:52:52 +0000
parents 0326805aa6df
children 3ba401110c22
line wrap: on
line diff