tree c77c9757ce95379b6b49bc91d7ef1e5fcd920809
parent 2cee321f0010a877ab8ffe1f3bf0ff55bf3984c9
author John Tsichritzis <john.tsichritzis@arm.com> 1557742805 +0100
committer John Tsichritzis <john.tsichritzis@arm.com> 1558427891 +0100

Fix docs references to header files

Change-Id: I5c06e777d93ac653a853997c2b7c1c9d09b1e49c
Signed-off-by: John Tsichritzis <john.tsichritzis@arm.com>