Gilles Peskine ee20f3698a Remove check-names.sh and now-unused helper scripts
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
2021-09-27 20:14:12 +02:00
..
2020-12-10 21:30:01 +01:00
2021-05-05 17:59:15 +02:00