diff options
Diffstat (limited to 'util/lint/lint-stable-009-old-licenses')
| -rwxr-xr-x | util/lint/lint-stable-009-old-licenses | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/lint/lint-stable-009-old-licenses b/util/lint/lint-stable-009-old-licenses index fdc76aa543..6e6dc1cb61 100755 --- a/util/lint/lint-stable-009-old-licenses +++ b/util/lint/lint-stable-009-old-licenses @@ -25,6 +25,7 @@ HEADER_EXCLUDED="\ \.jpg$|\ \.cksum$|\ \.bin$|\ +\.vbt$|\ \.hex$|\ \.patch$|\ _shipped$|\ |