annotate .hgrc @ 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 d5b6748f29a9
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
d5b6748f29a9 getting started
Henry S. Thompson <ht@inf.ed.ac.uk>
parents:
diff changeset
1 /home/dc007/dc007/hst/.hgrc