commit | 4a410a3ba30f9a8fd2d5f3b93fb62452b1e80f09 | [log] [tgz] |
---|---|---|
author | Dimitris Papastamos <dimitris.papastamos@arm.com> | Thu Jun 14 14:34:46 2018 +0100 |
committer | GitHub <noreply@github.com> | Thu Jun 14 14:34:46 2018 +0100 |
tree | bae51ef3efcb8fc7bfbf86af58a866415686483a | |
parent | 59c4346383407dad6b7573fccb7af85a97a5df3e [diff] | |
parent | fb83888b61ebe0e069adec14d50c3a26dc3aacdb [diff] |
Merge pull request #1417 from paulkocialkowski/integration rockchip: Move stdint header to the offending header file