tree e754f71fb6dd4c30994ba92177bf5cd2469d36cf
parent 80c02af03cd3bc8e8ea1a87c9f93e50f7e37162b
author Gilles Peskine <Gilles.Peskine@arm.com> 1615892684 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1615892684 +0100

Minor presentation improvements

Minor wording improvement and cosmetic formatting improvements.

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