summaryrefslogtreecommitdiff
path: root/util/docker
diff options
context:
space:
mode:
authorMartin Roth <martinroth@google.com>2018-05-26 19:48:07 -0600
committerMartin Roth <martinroth@google.com>2018-07-06 15:31:51 +0000
commit18c4e26edebe43515837508e84ba9b331de53bda (patch)
treeeac64c0016bebbd2270b22bd7cd869bca56e1322 /util/docker
parent842253b24206de39ae8ca8aa905481dea54a31d2 (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