tree 827e9ff1ac73a5dfc278352db013f9742a94cb3f
parent e4fdfc499c00dc1490472a6304493a697254a50e
author Gilles Peskine <Gilles.Peskine@arm.com> 1587853993 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1587979659 +0200

check-files: support Windows .bat files

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