tree 01aca4354a9d6e2f961b6ede7278041657fe0cdf
parent 3a90b7c182d586fc37fc4de34764d48eaec5efc2
parent 5e6b4163905563be5dee7303c66188180af33500
author Paul Beesley <paul.beesley@arm.com> 1571731187 +0000
committer TrustedFirmware Code Review <review@review.trustedfirmware.org> 1571731187 +0000

Merge "doc: Move platform list to the Platform Ports index page" into integration