tree d0954693973ea868ff2f2087a3e1d349cda96e5a
parent 1cc6a8ea15893e3afd2dd1d95fb44423169494b7
author Gilles Peskine <Gilles.Peskine@arm.com> 1611087542 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1611087791 +0100

Minor documentation fixes

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