Merge "doc: Move platform list to the Platform Ports index page" into integration
commit 1f96d12868a1355e32bdd0e58898782694fc6b5b
2 parents 3a90b7c + 5e6b416
@Paul Beesley Paul Beesley authored on 22 Oct 2019
TrustedFirmware Code Review committed on 22 Oct 2019
Showing 2 changed files
View
docs/index.rst
View
docs/plat/index.rst