diff options
| author | Martin Roth <gaumless@gmail.com> | 2017-04-05 21:29:06 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-04-24 19:18:06 +0200 |
| commit | 2a063beb71c99462dabcf2ec24678c1ffcc50796 (patch) | |
| tree | 972f16d286950350273e3225191ad433bd33cc95 /util/lint/lint-stable-013-site-local | |
| parent | 031c81863316e32ddec2a8360011e424fe9c845c (diff) | |
util/lint: Don't run checkpatch on the documentation
Change-Id: Ib95a7c9c64c481af7dcf1074ffc0fc76dc6b6ff9
Signed-off-by: Martin Roth <gaumless@gmail.com>
Reviewed-on: https://review.coreboot.org/19144
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Philippe Mathieu-Daudé <philippe.mathieu.daude@gmail.com>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/lint-stable-013-site-local')
0 files changed, 0 insertions, 0 deletions