Merge "doc: Move platform list to the Platform Ports index page" into integration
authorPaul Beesley <paul.beesley@arm.com>
Tue, 22 Oct 2019 07:59:47 +0000 (07:59 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Tue, 22 Oct 2019 07:59:47 +0000 (07:59 +0000)

Trivial merge