tree 5bff7e296e348f1bb3a012d6db31396543a89333
parent 6ef7983208a01a2e2da58c5edabfcbc0b0dcd00c
author Gilles Peskine <Gilles.Peskine@arm.com> 1534173899 +0200
committer Jaeden Amero <jaeden.amero@arm.com> 1536915749 +0100

Minor documentation improvements