tree 330355bece9e2f304cca7eb48e0908324dd1ad0e
parent b0d26b55107dc3f490bf9dc3e2419dfb1b6c4663
author Martyn Capewell <martyn.capewell@arm.com> 1489595848 +0000
committer Martyn Capewell <martyn.capewell@arm.com> 1489595848 +0000

Add header file renaming to pull script

Change-Id: I789442bd6cee99d551734df4d7e47dab186b9921