tree 52c6b002444db0c60507b2a72ab3f2daed77bfb1
parent 06446785079d9eea2d0c0be9c656ca89eb9e1ff4
author Andres Amaya Garcia <andres.amayagarcia@arm.com> 1539721889 +0100
committer Andres Amaya Garcia <andres.amayagarcia@arm.com> 1549535551 +0000

query_config.c: remove duplicated inc of platform.h