diff options
author | Felix Singer <felixsinger@posteo.net> | 2022-02-21 17:44:19 +0100 |
---|---|---|
committer | Nico Huber <nico.h@gmx.de> | 2022-02-25 12:49:15 +0000 |
commit | 2552c471004ef89dd89b503a398f78e61bb907ba (patch) | |
tree | 207d05ed2cb8b14ab1eb7fe2cdf111f8e3eea617 /src | |
parent | 1d72afbd2a284da02208769bb4e74510908f8086 (diff) |
Documentation/index.md: Add "Community" menu entry
Clean up the main menu by adding a new entry `Community` and moving all
related menu entries below it.
Change-Id: Ib5df0156edaa739f15e6da8489968448876e1894
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62219
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@mailbox.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions