Tools: Permanently ignore some header files from header check

This commit is contained in:
Roland Dobai
2021-10-19 13:29:56 +02:00
parent 3478745abc
commit 0c24913608
4 changed files with 21 additions and 1 deletions
+1 -1
View File
@@ -120,4 +120,4 @@ repos:
rev: v4.0.1
hooks:
- id: file-contents-sorter
files: 'tools\/ci\/(executable-list\.txt|mypy_ignore_list\.txt|check_copyright_ignore\.txt)'
files: 'tools\/ci\/(executable-list\.txt|mypy_ignore_list\.txt|check_copyright_ignore\.txt|check_copyright_permanent_ignore\.txt)'