| commit | fd0201bc30e9fb9ada06e327974b408a6d6a85e0 | [log] [tgz] |
|---|---|---|
| author | davidcunado-arm <david.cunado@arm.com> | Thu Oct 13 17:48:29 2016 +0100 |
| committer | GitHub <noreply@github.com> | Thu Oct 13 17:48:29 2016 +0100 |
| tree | 91cb5017c8780860ccb5982f2091752a46f103c2 | |
| parent | b314c9fa88271a5b88cdbcbfd6319405e0a4e30e [diff] | |
| parent | 49db6f1cbaf1c63a85e3d915944ac5514af09c90 [diff] |
Merge pull request #736 from davidcunado-arm/dc/v1.3_update Release v1.3: Minor updates to user guide