log bin/do_idx.sh @ 109:52c6a9b0fc8c

age author description
Wed, 13 Sep 2023 16:48:43 +0100 Henry S. Thompson switch to gzip -7 to get comparable compressed cdx block size
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