tree 503e815d48b7e4a3ce333a95996ce4275054b242
parent 72f41562f2125513aa70ffcc1ab458342d8e517e
author Gilles Peskine <Gilles.Peskine@arm.com> 1671141799 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1674126678 +0100

Fix documentation

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