Merge pull request #1326 from JoelHutton/jh/user_guide_updates
authordanh-arm <dan.handley@arm.com>
Tue, 20 Mar 2018 15:19:48 +0000 (15:19 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Mar 2018 15:19:48 +0000 (15:19 +0000)
commit1adde117f6e087e6e7934da7b938d372112c1037
tree7a804896774bbdd43ed51aec28fe0bbb9f112266
parentfb45044bc567b96e8be243b717ec2920224cd9b9
parentbf7008a8dfe80ddb6a1d320aad5df89e365ece88
Merge pull request #1326 from JoelHutton/jh/user_guide_updates

Update user guide