diff options
author | 2019-08-28 01:56:53 +0100 | |
---|---|---|
committer | 2019-08-28 01:56:53 +0100 | |
commit | 5e2ebc973f19fe8e5fdbe20e102e445329b528b0 (patch) | |
tree | 99e314a5405c28088b25906470f34a62caa56d76 /src/config.sml.in | |
parent | 35eaf23643fcd2eb4376f07a490c959737179eef (diff) |
Minor cleanup -- handle the case where we couldn't successfully generate a UTF8 codepoint by outputting a HTML escape (the default behaviour before for all multi-byte characters).
Diffstat (limited to 'src/config.sml.in')
0 files changed, 0 insertions, 0 deletions