diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-02-16 12:06:51 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-02-16 12:06:51 -0800 |
| commit | 2bcca4c2118733f14a91eaf585e8ff97e216b6bd (patch) | |
| tree | 5302f78894bcf100e7e8172c0289bb30ea3e5f0d /tools | |
| parent | 5de2e4e9d39fd918d041169e2759d4f4b57a0cc6 (diff) | |
Made 'options' an int rather than a long.
For consistency with the API.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions