Merge pull request #736 from davidcunado-arm/dc/v1.3_update
authordavidcunado-arm <david.cunado@arm.com>
Thu, 13 Oct 2016 16:48:29 +0000 (17:48 +0100)
committerGitHub <noreply@github.com>
Thu, 13 Oct 2016 16:48:29 +0000 (17:48 +0100)
commitfd0201bc30e9fb9ada06e327974b408a6d6a85e0
tree91cb5017c8780860ccb5982f2091752a46f103c2
parentb314c9fa88271a5b88cdbcbfd6319405e0a4e30e
parent49db6f1cbaf1c63a85e3d915944ac5514af09c90
Merge pull request #736 from davidcunado-arm/dc/v1.3_update

Release v1.3: Minor updates to user guide