tree 5f8492d3d0d22ddfaed02fc42174852e11c10b60
parent 31da67beb78d3f677ce15f384a679fd90fa220f4
author Gilles Peskine <Gilles.Peskine@arm.com> 1632766452 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1632766452 +0200

Remove check-names.sh and now-unused helper scripts

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