tree 6340b1b4655ed9e1f65275b25557d76a1c8cff0c
parent 2fdd5afc29e08e18ce57c51b0b131154a6e6dca7
parent 0ff0ff776a06d33a4cad2d306a2b5e89b68099da
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1617972019 +0200
committer GitHub <noreply@github.com> 1617972019 +0200
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJgcEszCRBK7hj4Ov3rIwAAdHIIAGn2n53JI3A3TNCUPav7JwPQ
 U178Z/cw5EykSFknN0xoOpEyt34kgVK2C4XIHGhdhwEdOe+GSUDXYGAaQ/HzEJth
 lWlxiBhROqGe5lbJYxpFd5EzzE8TJxdBekiJSlzImeKOymHaHQ39BxsqidyjHIWB
 upi5JaQaqcBDz7i3QwMLPDfPSAP+wtnIwLKEZzZ0ZRUXJ4csY5aqgWZMwFYxSYhN
 oDM8I3akBcDPixaqJgni5zKxRKt3W+r0RnwzjutmirGneFFwSgWRbOTiPpaxcPMF
 Dr+Xu0CnLOZeqbjvhKJa4irtHRL9BswF8O2zhjg9nJJhmIZQg0h13D9SHuHh5Ec=
 =eHIh
 -----END PGP SIGNATURE-----
 

Merge pull request #4311 from gilles-peskine-arm/move-internal-headers-doxygen

[3.0] Remove obsolete reference to internal headers under include/