| commit | 899146b98651011c82588305333c59a94fe73045 | [log] [tgz] |
|---|---|---|
| author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | Fri Mar 01 09:16:58 2019 +0000 |
| committer | GitHub <noreply@github.com> | Fri Mar 01 09:16:58 2019 +0000 |
| tree | f32e09ed8c16f4d60da7100c9bdef0dd5cfae1bb | |
| parent | 23b7b696ef7a89ce772d5c7bd3990fa9d64e55d5 [diff] | |
| parent | 56b68ad9011fabbcd613081e513c4f55145de426 [diff] |
Merge pull request #1848 from antonio-nino-diaz-arm/an/docs Minor changes to documentation and comments