tree 71c30116197840977cd1c59e660a7e6a6ab3f71a
parent 129d04169a1a0070b1eced5e3a2ca48366f6d2e9
author Gilles Peskine <Gilles.Peskine@arm.com> 1587853993 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1587854636 +0200

check-files: support Windows .bat files

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