| commit | ec80f524ec1bcb580a781e0bc60110bdbea2641d | [log] [tgz] |
|---|---|---|
| author | davidcunado-arm <david.cunado@arm.com> | Wed Aug 23 17:23:15 2017 +0100 |
| committer | GitHub <noreply@github.com> | Wed Aug 23 17:23:15 2017 +0100 |
| tree | 73a6834700e7d7bb667573355845907dc00404c2 | |
| parent | e42bdb9eccbc691d53785f51a7779d00218b8097 [diff] | |
| parent | f5657570ad88decd96bf91b9e02bc7933557b26b [diff] |
Merge pull request #1017 from etienne-lms/minor-docs Minor docs