diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2018-09-14 10:18:17 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-14 10:18:17 -0700 |
| commit | 42cd5230d423f20f9367754975d10f6ddf4c0430 (patch) | |
| tree | eb4ebff693c53e46e56dc1fcfe3a3b11806b8bfd /tools/mkcasefold.pl | |
| parent | c44bced3ad5aaad1e32441677873693e46d354e1 (diff) | |
| parent | 55afc6fd496de4e75c27d725c2bf1470cc3cf5aa (diff) | |
Merge pull request #257 from pclouds/xml-space-preserve
Add xml:space="preserve" in XML output when appropriate
Diffstat (limited to 'tools/mkcasefold.pl')
0 files changed, 0 insertions, 0 deletions