Merge "doc: Move platform list to the Platform Ports index page" into integration
authorPaul Beesley <[email protected]>
Tue, 22 Oct 2019 07:59:47 +0000 (07:59 +0000)
committerTrustedFirmware Code Review <[email protected]>
Tue, 22 Oct 2019 07:59:47 +0000 (07:59 +0000)

Trivial merge