summaryrefslogtreecommitdiff
path: root/util/lint
diff options
context:
space:
mode:
authorNico Huber <nico.h@gmx.de>2019-09-18 23:58:26 +0200
committerPatrick Georgi <pgeorgi@google.com>2019-09-20 07:16:15 +0000
commit7f7ab8f16cd6524d0d0fd29141decdc32bc14182 (patch)
tree9717a2d46a743631b71138846f5459dad4bdc8f8 /util/lint
parentc0441677d19ce9d09d96c48573452f1c156c9dfa (diff)
Documentation/mainboard: Fix index
Remove duplicate headings, move vendor sections that were placed amidst other vendor hierarchies, and while we are at it, sort it alphabetically. Change-Id: I1f684deac3bbf98e8584089be05daf1c73e74a2d Signed-off-by: Nico Huber <nico.h@gmx.de> Reviewed-on: https://review.coreboot.org/c/coreboot/+/35462 Reviewed-by: Patrick Georgi <pgeorgi@google.com> Reviewed-by: Angel Pons <th3fanbus@gmail.com> Reviewed-by: Michael Niewöhner Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions