tree 76af511a31066efa1e9c509bdb18b48a725c985e
parent c079f5692dbd184e755e3486428deb0bfe0618cb
author Gilles Peskine <Gilles.Peskine@arm.com> 1551893397 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1551893397 +0100

Pacify check-names.sh