Gilles Peskine 0d4640ad90
Merge pull request #4984 from gilles-peskine-arm/check-names-files
check_names.py: more robust handling of excluded files
2021-10-15 13:33:50 +02:00
..
2021-09-03 13:19:57 +01:00
2021-10-13 16:14:47 +01:00