Merge pull request #1784 from antonio-nino-diaz-arm/an/includes-arm
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Mon, 28 Jan 2019 10:53:29 +0000 (10:53 +0000)
committerGitHub <noreply@github.com>
Mon, 28 Jan 2019 10:53:29 +0000 (10:53 +0000)
plat/arm: Cleanup of includes and drivers


Trivial merge