diff bin/getidx.aws @ 291:70da637d1402

accommodate to change to digits for record type, minor tweaks, change format of input ranges, still a bug, in 11/...540.warc.gz
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 09 Apr 2025 17:15:40 +0100
parents 56825fc8459d
children cc70ae0b156d
line wrap: on
line diff