tree 01aca4354a9d6e2f961b6ede7278041657fe0cdf
parent 69a76bf769339ab00c626611994ccb5f145d9b90
parent 866392d5e2761fe87af9e90909745c0d043386a4
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