diff options
author | Nico Huber <nico.h@gmx.de> | 2019-09-18 23:58:26 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2019-09-20 07:16:15 +0000 |
commit | 7f7ab8f16cd6524d0d0fd29141decdc32bc14182 (patch) | |
tree | 9717a2d46a743631b71138846f5459dad4bdc8f8 /util/lint | |
parent | c0441677d19ce9d09d96c48573452f1c156c9dfa (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