diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-01-08 12:58:24 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-01-08 12:58:24 -0800 |
| commit | a389902278feefde988935353acb1a52d978df9b (patch) | |
| tree | e44fe38ec689bf284b97b158124ef5b1925fec12 /tools/mkcasefold.pl | |
| parent | d30371d6871981f369eafb30fb1a7e82df7139eb (diff) | |
Fixed string representations of CUSTOM_BLOCK, CUSTOM_INLINE.
The old versions raw_inline and raw_block were being used,
and this led to incorrect xml output.
Diffstat (limited to 'tools/mkcasefold.pl')
0 files changed, 0 insertions, 0 deletions