tree 96554fa258532be66adbabf0eb0aabf902f70369
parent 92d66b88aeab09f0828e0d98ede669956c857ad0
author Gilles Peskine <Gilles.Peskine@arm.com> 1524060329 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1524060506 +0200

Fix comment formatting to pacify check-names.sh