diff options
| author | Emil Velikov <[email protected]> | 2017-08-22 11:39:36 +0100 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2017-08-26 11:20:07 +0100 |
| commit | e3962653685fcf7b8a913d4f895b3d0af82fa5b4 (patch) | |
| tree | 11103e0d0d248671aa178f79bf24e4822f948bc6 /bin/get-pick-list.sh | |
| parent | 98030f92e8007fedde1e457438c3faa1e26cd3d4 (diff) | |
dri_interface.h: add missing stdint.h include
Required for uint32_t and friends.
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Eric Engestrom <[email protected]>
Reviewed-by: Nicolai Hähnle <[email protected]>
Diffstat (limited to 'bin/get-pick-list.sh')
0 files changed, 0 insertions, 0 deletions