tree 03e68e926401c8ffc760c963f04398c094d0c48e
parent cf4d9f98c79b45d7b5f38880d0bb7535d5b408b0
author Gilles Peskine <Gilles.Peskine@arm.com> 1656610322 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1656610322 +0200

Fix Doxygen documentation attached to non-existent elements

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