tree aaab8b83d7db1bc8d154f1c391ec15ee5a346ee1
parent 270a125946e648fb4103f081e59e8e4b6c7f4801
author k-stachowiak <krzysiek.stachowiak@gmail.com> 1544709017 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1545242559 +0100

Fix a documentation typo