tree 52ae0bb9626993d21fd43738dc0eb3b45bb2b71c
parent 227dfd435ef9bc644e026a6d5841ed1f4afa9aa2
author Gilles Peskine <Gilles.Peskine@arm.com> 1585085351 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1586183944 +0200

Check that Windows files have Windows line endings

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