tree 663b2331f1b5ba4d652cb3a4ae019f46127fb191
parent df93ecd7835cf1252c7a108aa51aefc853c57fb7
author Gilles Peskine <Gilles.Peskine@arm.com> 1649780922 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1650972846 +0200

Note the need to maybe update index.md in the help text

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>