diff options
author | Andres Amaya Garcia <andres.amayagarcia@arm.com> | 2018-10-16 21:31:29 +0100 |
---|---|---|
committer | Andres Amaya Garcia <andres.amayagarcia@arm.com> | 2019-02-07 10:32:31 +0000 |
commit | 55a6c367bbf3a48ad1d81d4a397e732dcc864d68 (patch) | |
tree | 52c6b002444db0c60507b2a72ab3f2daed77bfb1 /scripts | |
parent | 06446785079d9eea2d0c0be9c656ca89eb9e1ff4 (diff) |
query_config.c: remove duplicated inc of platform.h
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions