diff bin/do_idx.sh @ 294:cc2945816b75

job index arg to doit, slightly better diagnostic output
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Tue, 22 Apr 2025 14:32:07 +0100
parents 0326805aa6df
children 3ba401110c22
line wrap: on
line diff