| commit | dbd0bcfe008c08a7377e28d947d5354846cdc349 | [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 | 64503b2f81bbd12051d8e0fd065a5a0b0c38bd2a [diff] | |
| parent | 73308618fee8afc4518c592956b31864e57e48e7 [diff] |
Merge pull request #1848 from antonio-nino-diaz-arm/an/docs Minor changes to documentation and comments