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 /CHANGELOG | |
| 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 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions