Merge pull request #1673 from antonio-nino-diaz-arm/an/headers
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Thu, 8 Nov 2018 11:22:42 +0000 (12:22 +0100)
committerGitHub <noreply@github.com>
Thu, 8 Nov 2018 11:22:42 +0000 (12:22 +0100)
Standardise header guards across codebase


Trivial merge