diff options
author | Martin Roth <martinroth@google.com> | 2018-05-26 19:48:07 -0600 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2018-07-06 15:31:51 +0000 |
commit | 18c4e26edebe43515837508e84ba9b331de53bda (patch) | |
tree | eac64c0016bebbd2270b22bd7cd869bca56e1322 /util/docker | |
parent | 842253b24206de39ae8ca8aa905481dea54a31d2 (diff) |
util/lint: Update lint-stable-000-license-headers linter
- Update stable directories
- Remove duplicated directories
There are currently 220 files that still need to have headers added or
be excluded from the lint-000-license-headers test.
Change-Id: I40046a2fb7359262b130f6813eda1f2c30916b46
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/26573
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Werner Zeh <werner.zeh@siemens.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to 'util/docker')
0 files changed, 0 insertions, 0 deletions