diff options
author | Adam Chlipala <adam@chlipala.net> | 2019-09-06 12:53:36 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-06 12:53:36 -0400 |
commit | b506e44ebbf80d98bb1a39d5566e7cdf53b3fc78 (patch) | |
tree | 951447b0e14167dab1321a71a480ea7cdef90bd7 /tests | |
parent | f54687e989372470c2848890e9499feb9fd70352 (diff) | |
parent | 0490176b675eb3ea36cd51fa5d1fd41a3126c10c (diff) |
Merge pull request #177 from DestyNova/use-utf8-instead-of-escapes
Try to use UTF-8 rather than numeric HTML escapes
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions