tree 4a050d52f3b80fa083af5745e7217b15ac132de1
parent e431563269f46f8568dcaca03009a7e18236d875
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1561971557 +0200
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1562073149 +0200

Fix renaming oversight in documentation