tree 11cf940c61e86350c62c000222a539fdfa4f8f7a
parent 68119780452ba6689508ae87309d7c90ee8f56a2
author Gilles Peskine <Gilles.Peskine@arm.com> 1739398269 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1741190538 +0100

Fix Doxygen markup

Pacify `clang -Wdocumentation`.

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