Merge "Fix links in documentation" into integration
authorJohn Tsichritzis <john.tsichritzis@arm.com>
Tue, 25 Jun 2019 09:52:16 +0000 (09:52 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Tue, 25 Jun 2019 09:52:16 +0000 (09:52 +0000)

Trivial merge