tree f86d71d8c2457ba25940cb30716255466e10901a
parent 93f8500e2ef5ba0d8e8b9d9b27c9f59980299060
author Gilles Peskine <Gilles.Peskine@arm.com> 1542383102 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1542383102 +0100

Fix typo in documentation

tests/scripts/doxygen.sh passes.