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)
commit1f96d12868a1355e32bdd0e58898782694fc6b5b
tree01aca4354a9d6e2f961b6ede7278041657fe0cdf
parent3a90b7c182d586fc37fc4de34764d48eaec5efc2
parent5e6b4163905563be5dee7303c66188180af33500
Merge "doc: Move platform list to the Platform Ports index page" into integration