diff --git a/util/lint/lint-000-license-headers b/util/lint/lint-000-license-headers index e6c62b9ad5..b9d93fd77c 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$|\