tree f32e09ed8c16f4d60da7100c9bdef0dd5cfae1bb
parent 23b7b696ef7a89ce772d5c7bd3990fa9d64e55d5
parent 56b68ad9011fabbcd613081e513c4f55145de426
author Antonio Niño Díaz <antonio.ninodiaz@arm.com> 1551431818 +0000
committer GitHub <noreply@github.com> 1551431818 +0000

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

Minor changes to documentation and comments