about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-04-10T09·12+0200
committerEelco Dolstra <edolstra@gmail.com>2017-04-10T09·27+0200
commit105f8ffc98d25e23c9a7eb5a5327e711b1e21e50 (patch)
tree0521d181dc8e9d753d0bb76cfbfd90376b4dbe61 /doc
parent95295482ea629fd21992f564b8e4f1710a7a61e6 (diff)
Minor cleanup
Also, possible fix for #1310 on 32-bit systems.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions