aboutsummaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-004-style-labels
diff options
context:
space:
mode:
authorMartin Roth <martinroth@google.com>2016-01-12 15:32:50 -0700
committerMartin Roth <martinroth@google.com>2016-01-15 04:58:16 +0100
commitda1a70ea032a1bbb3bb973115a9d4c6f85708b33 (patch)
treecbd0941717b58e25ce62b68b7a3bd2d9b8198962 /util/lint/lint-stable-004-style-labels
parent9df9e939146f6b715947754eb10c8d96ab7c5873 (diff)
util/lint: Add linter for files with the old license header
Help prevent additional files coming in to the tree with the old license header. Change-Id: Idbafc2d8c05f87075083293d27900304c53e13dc Signed-off-by: Martin Roth <martinroth@google.com> Reviewed-on: https://review.coreboot.org/12920 Tested-by: build bot (Jenkins) Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-004-style-labels')
0 files changed, 0 insertions, 0 deletions