tree f32e09ed8c16f4d60da7100c9bdef0dd5cfae1bb
parent 64503b2f81bbd12051d8e0fd065a5a0b0c38bd2a
parent 73308618fee8afc4518c592956b31864e57e48e7
author Antonio Niño Díaz <antonio.ninodiaz@arm.com> 1551431818 +0000
committer GitHub <noreply@github.com> 1551431818 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJcePiKCRBK7hj4Ov3rIwAAdHIIAB2tw9OYX8eyjzWP+9gqIxBo
 y5HkfiDBIk50IpBfHTDERkKjU9jnHNdwIvry1ubHci4nw/abrxgbUdhfrXLJYyRH
 17vtf5Q8T2Dr0cGgGzioasCnXXjep8ezxPksKSUTGyNjxLLksY86+qjPVDp1ot43
 e/7mrEoZocNRkpOKHxAmIJq/3J5mzRo6eKTmUUZ+enV1JHmgfEKlygEVHxGdygdt
 jn23udqjr/9ymWUHrTf84grTBNz60Zl7gIWqo8RH+U+nL0GWjm0bJXlf/4/jcE3P
 fwRvSWTrEsWzdLkpm0zJb/i/dztlwwYfT3UA2jLjS0JVtteMGZVLjH9joJ32DhQ=
 =2Uka
 -----END PGP SIGNATURE-----
 

Merge pull request #1848 from antonio-nino-diaz-arm/an/docs

Minor changes to documentation and comments