tree 9f621a5107be8f83d03912464f504d60475c52f8
parent b9b9026c531e0f6c6df02a1025cdabc48cfa0e99
author Gilles Peskine <Gilles.Peskine@arm.com> 1668178791 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1668541798 +0100

Fix autocucumber in documentation

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