diff options
| -rwxr-xr-x | util/lint/lint-000-license-headers | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index e6c62b9ad562..b9d93fd77c3f 100755 --- a/util/lint/lint-000-license-headers +++ b/util/lint/lint-000-license-headers @@ -34,6 +34,7 @@ EXAMPLE|\ NEWS|\ ChangeLog|\ Dockerfile|\ +\.gitignore$|\ \.in$|\ \.[18]$|\ \.md$|\ |