diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-04-10T09·12+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-04-10T09·27+0200 |
commit | 105f8ffc98d25e23c9a7eb5a5327e711b1e21e50 (patch) | |
tree | 0521d181dc8e9d753d0bb76cfbfd90376b4dbe61 /doc | |
parent | 95295482ea629fd21992f564b8e4f1710a7a61e6 (diff) |
Minor cleanup
Also, possible fix for #1310 on 32-bit systems.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions