diff bin/do_idx.sh @ 130:31abd509e365

importable just in case
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 28 Sep 2023 16:35:39 +0100
parents 5b952d16838c
children 0326805aa6df
line wrap: on
line diff