tree 0e0c656dba75db1d34b9e223e75fd58f4a29bd84
parent df28b8d2ea5bcd3e947b7f72bf6a21f25c06a2a7
author David Horstmann <david.horstmann@arm.com> 1678803638 +0000
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690985192 +0200

Tell Doxygen to generate XML

Signed-off-by: David Horstmann <david.horstmann@arm.com>