| commit | bb48cc74fb51e7c3f0438fd4084c40ccf2190706 | [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 | 4630489b809149c762556f8239bbca8ea6059dba [diff] | |
| parent | e0f2c3bea52e6b5bbb5401ed39ab8e361d1d4ea1 [diff] |
Merge pull request #1417 from paulkocialkowski/integration rockchip: Move stdint header to the offending header file