diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-06-03 11:54:06 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-06-03 11:56:05 +0200 |
| commit | 65056eabe93702620d64449761c980b0ab3292ff (patch) | |
| tree | d185e7bd3067903cb80e2c188b55b02459f900a1 /tools/mkcasefold.pl | |
| parent | ee82af08672810bc03769b2fb5a5767627d30d36 (diff) | |
Revised "add newline to end if missing" for performance.
From btrask's alternate code in the comment on
https://github.com/jgm/cmark/pull/18.
Note: this gives a 1-2% performance boot in our benchmark,
probably enough to make it worth while.
Diffstat (limited to 'tools/mkcasefold.pl')
0 files changed, 0 insertions, 0 deletions