| commit | 5982fa7902403b6a9389a2db040f809ea2b7e695 | [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 | 096b7af7c93953673c0500156f482ad8c6da525e [diff] | |
| parent | 66079b04ec8b6ce9af4742ede977ba47ad7e11eb [diff] |
Merge pull request #1017 from etienne-lms/minor-docs Minor docs