tree 7adb6cfb2d44ff06b39755c93411ffeaa2e56595
parent 911d779097393beacddc063860c7facf8259d3d1
parent 87fb4160dcfce470577213025872d39872ca8f0a
author danh-arm <dan.handley@arm.com> 1476267238 +0100
committer GitHub <noreply@github.com> 1476267238 +0100

Merge pull request #725 from jeenu-arm/fix-duplicate-title

Docs: Rename duplicate title in porting guide