diff bin/merge_date.py @ 118:9d14e7c32737

replicate two extremely-corner cases of the way Java produces surts for URIs containin escaped DEL chars
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Wed, 27 Sep 2023 17:29:09 +0100
parents f52783faf3ee
children 1d12b51c4d59
line wrap: on
line diff