tree 99cc699a74fc616aef76d1473efa99d0949360d7
parent 1d04b05fae0fc7f475aa6e17eaeb4b61a16f3125
author Gilles Peskine <Gilles.Peskine@arm.com> 1563899203 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1563900208 +0200

Fix overly complex Doxygen markup