diff options
| author | Marius Kintel <marius@kintel.net> | 2013-11-23 16:19:01 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2013-11-23 16:19:01 (GMT) |
| commit | ab102cec8518ffe1bc7ecefa7986e8390367c692 (patch) | |
| tree | cf4629645f415fdd6692c55e5b6aee69effc3577 /scripts | |
| parent | 2162aaed64d4c60c4821fbb89f7eae3e37130011 (diff) | |
| parent | 34d7f37fe7d37a23b43cec2faaf90605204937e1 (diff) | |
Merge pull request #550 from t-paul/ubuntu-fix
Fix compilation error on Ubuntu where uint32_t is not defined.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions