tree 4e9ddabb555a7ccbb8262633bac07b269fa1b800
parent 22cc6497696c36c51c048a89e4bdef5b7b2dfff2
author Gilles Peskine <Gilles.Peskine@arm.com> 1649188334 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649841878 +0200

Minor documentation improvement

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