diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-04-29 12:53:01 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-29 12:53:01 -0700 |
| commit | dee5b6982c450df75b1ad606a6c39d5f0a0858e6 (patch) | |
| tree | a02757b776326442456b70cc2e5a9464ffa29c2d /tools/shared.py | |
| parent | 72befd5a680f050ca058ba33f179a9f4ec7f91db (diff) | |
| parent | b1426dcfab43b6a4a06948f7adc971ac6bd0cb4a (diff) | |
Merge pull request #1114 from waywardmonkeys/wrong-int64-type
Use the standard int64_t rather than __int64_t.
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions