diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-04-29 12:52:41 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-04-29 12:52:41 -0700 |
| commit | 72befd5a680f050ca058ba33f179a9f4ec7f91db (patch) | |
| tree | b8511fd90f2ba7e6ebe9a8ed864d978912ab495d /tools/shared.py | |
| parent | 2e6686a51f0c1af7ffe365df8baa247d5118b1d1 (diff) | |
| parent | 868ae0d8e5bed99d6fe44ee4f9cf288ef065a787 (diff) | |
Merge pull request #1113 from waywardmonkeys/missing-stdint-includes
Include <stdint.h> to use int64_t.
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions