Fix development documentation link

This commit is contained in:
JeremyStar™ 2024-09-22 14:20:17 +02:00
parent f1b3bb5b88
commit b68a7855dc
Signed by: JeremyStarTM
GPG key ID: E366BAEF67E4704D

View file

@ -53,7 +53,7 @@ const config: Config = {
position: "left", position: "left",
}, },
{ {
href: "https://develop.core.staropensource.de", href: "https://develop.engine.staropensource.de",
label: "Development documentation", label: "Development documentation",
position: "right", position: "right",
}, },