diff options
author | Martin Roth <martinroth@google.com> | 2016-01-11 13:49:20 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-01-12 22:32:16 +0100 |
commit | 0ecbdde285c17c348fe5334a0c0774f3166d2b5a (patch) | |
tree | 65651033a0f3d14b0e0cb9eacc844258984c9770 /.gitignore | |
parent | aede3fc828a98221fcf64457665fabbe0eb1eb09 (diff) | |
download | coreboot-0ecbdde285c17c348fe5334a0c0774f3166d2b5a.tar.xz |
lint: rename lint-006-checkpatch because board name is lint-006
Checkpatch should be 007.
Change-Id: Ib71c50ad1a63a3a743391cd8fea9f79cd08ef6f3
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/12901
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions