Merge pull request #1822 from antonio-nino-diaz-arm/an/plat-arm
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 15 Feb 2019 11:03:06 +0000 (11:03 +0000)
committerGitHub <noreply@github.com>
Fri, 15 Feb 2019 11:03:06 +0000 (11:03 +0000)
commit833216666fe0083d55a275886ca7b272e13dde6b
tree7c994ae21126a6277da16f53256eb5fbdae69ea4
parenteaea119ea12d20837d3ada880621ac0a895f98eb
parent8f457dacb03564572c1ec2088813ef226d1d7525
Merge pull request #1822 from antonio-nino-diaz-arm/an/plat-arm

docs: Update note about plat/arm in Porting Guide