1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

doc: add quicklink to boards in navbar

This commit is contained in:
Oleg Hahm 2023-03-06 18:50:17 +01:00
parent 6b501f74c6
commit 9aa0c0fc8c

View File

@ -4,6 +4,7 @@
<navindex>
<tab type="mainpage" visible="yes" title=""/>
<tab type="pages" visible="yes" title="" intro=""/>
<tab type="user" url="@ref boards" title="Supported Boards"/>
<tab type="modules" visible="yes" title="" intro=""/>
<tab type="namespaces" visible="yes" title="">
<tab type="namespacelist" visible="yes" title="" intro=""/>