tree 7ffd879ffc382eb7bb8cf71686463b1e9af847b2
parent e6a778286fc50b05b477624cbac1c3ea23c01de7
author Gilles Peskine <Gilles.Peskine@arm.com> 1617804997 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1617804997 +0200

Remove obsolete reference to internal headers under include/

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>