diff .hgignore @ 85:1daa8e444cfe

work-around for weird handling of %-encoding in Java impl. of SURT
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 24 Aug 2023 18:21:41 +0100
parents 06a01a4cbeca
children ddfb3e95a219
line wrap: on
line diff