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