Merge pull request #1017 from etienne-lms/minor-docs
authordavidcunado-arm <david.cunado@arm.com>
Wed, 23 Aug 2017 16:23:15 +0000 (17:23 +0100)
committerGitHub <noreply@github.com>
Wed, 23 Aug 2017 16:23:15 +0000 (17:23 +0100)
commit5982fa7902403b6a9389a2db040f809ea2b7e695
tree73a6834700e7d7bb667573355845907dc00404c2
parent096b7af7c93953673c0500156f482ad8c6da525e
parent66079b04ec8b6ce9af4742ede977ba47ad7e11eb
Merge pull request #1017 from etienne-lms/minor-docs

Minor docs