diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-01-15 22:52:14 +0100 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-01-25 17:07:42 +0100 |
commit | 17916f478bc949e53c49720d0d930e03b0367176 (patch) | |
tree | 15bfbf9eca2d92b0123d149e632c376b3ee115bc /deb | |
parent | 4007d6a89749ff6576e65bb08631ff14a6d0ee20 (diff) | |
download | pandoc-17916f478bc949e53c49720d0d930e03b0367176.tar.gz |
Put an Integer rather than Word64 behind Extensions.
This allows us to expand indefinitely.
No measurable performance penalty.
Diffstat (limited to 'deb')
0 files changed, 0 insertions, 0 deletions