tree feff2135a418bddd504b759e0ad3d142b1fa88d5
parent f6eb0b8ab0adecd02ad49d7e3d037d18335cd791
author Gilles Peskine <Gilles.Peskine@arm.com> 1708623685 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1708623685 +0100

Remove cruft

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