tree 197d9ab88c7ccba2671b6e1a229f4d200ab08331
parent 502d4b45102a0665aa0b769c41ad1c7bdb96478e
author ndilieto <49833066+ndilieto@users.noreply.github.com> 1590646658 +0000
committer Nicola Di Lieto <nicola.dilieto@gmail.com> 1590679047 +0200

Minor style and documentation improvements

Co-authored-by: Gilles Peskine <gilles.peskine@arm.com>
Signed-off-by: Nicola Di Lieto <nicola.dilieto@gmail.com>