From 583282b99c9d8a487808c006bfb9fae7930291ce Mon Sep 17 00:00:00 2001
From: HouTeng Chan <ht-chen21@mails.tsinghua.edu.cn>
Date: Thu, 25 Jul 2024 08:01:13 +0000
Subject: [PATCH] Update file menu.html
---
wiki/menu.html | 1 +
1 file changed, 1 insertion(+)
diff --git a/wiki/menu.html b/wiki/menu.html
index 7edd68ef..54438104 100644
--- a/wiki/menu.html
+++ b/wiki/menu.html
@@ -98,6 +98,7 @@
<li><a href="{{ url_for('pages', page='contribution') }}">Contribution</a></li>
<li><a href="{{ url_for('pages', page='engineering') }}">Engineering</a></li>
<li><a href="{{ url_for('pages', page='safety') }}">Safety</a></li>
+ <li><a href="{{ url_for('pages', page='proof-of-concept') }}">Proof of Concept</a></li>
</ul>
</li>
<li onmouseover="over(this)" onmouseleave="leave(this)">
--
GitLab