tree 91cb5017c8780860ccb5982f2091752a46f103c2
parent b7767fee69416210b7ca35af1dfd3bd42011484b
parent 3e80facc246c37d4a6a1d4c40121a34e2bb60094
author davidcunado-arm <david.cunado@arm.com> 1476377309 +0100
committer GitHub <noreply@github.com> 1476377309 +0100

Merge pull request #736 from davidcunado-arm/dc/v1.3_update

Release v1.3: Minor updates to user guide