log bin/do_idx.sh @ 103:7d58dc01f329

age author description
Wed, 13 Sep 2023 12:40:39 +0100 Henry S. Thompson re-instate logging splits for .idx
Mon, 11 Sep 2023 22:06:45 +0100 Henry S. Thompson bug4 fixed, but that created a new, earlier bug