diff --git a/wiki/menu.html b/wiki/menu.html index 7edd68ef18f637d70eba09f36ee77727e538f699..544381041cd639586aa4259d37cfc261a9318573 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)">