Add development documentation link

This commit is contained in:
JeremyStar™ 2024-04-08 22:40:10 +02:00
parent 2870270e35
commit 0416643d1d
Signed by: JeremyStarTM
GPG key ID: E366BAEF67E4704D

View file

@ -46,11 +46,16 @@ const config: Config = {
position: "left", position: "left",
label: "Documentation", label: "Documentation",
}, },
{
href: "https://develop.core.staropensource.de",
label: "Development documentation",
position: "right",
},
{ {
href: "https://git.staropensource.de/StarOpenSource/CORE", href: "https://git.staropensource.de/StarOpenSource/CORE",
label: "Source code", label: "Source code",
position: "right", position: "right",
}, }
], ],
}, },
footer: { footer: {