fix home link

KeYProject · Jun 30, 2024 · b0b381b · b0b381b
1 parent 1b86b50
commit b0b381b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_layouts/base.html b/_layouts/base.html
@@ -16,7 +16,7 @@
     {% block header %}
     <header class="navbar">
       <section class="navbar-section">
-	<a href="/" class="navbar-brand mr-2">KeY Symposium 2024</a>
+	<a href="/key-symposium-2024" class="navbar-brand mr-2">KeY Symposium 2024</a>
 	<a href="registration.html" class="btn btn-link">Registration</a>
 	<a href="programme.html" class="btn btn-link">Programme</a>
       </section>