view docs/templates/inc/main-navigation.html @ 619:200c7063affa

admin: Change the default admin server port to 8090, add `--port` option.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 06 Feb 2016 21:47:24 -0800
parents 61d53d2163d6
children
line wrap: on
line source

<ul class="nav navbar-nav navbar-right">
    <li><a href="{{ pcurl('getting-started') }}">Getting Started</a></li>
    <li><a href="{{ pcurl('docs') }}">Documentation</a></li>
    <li><a href="{{ pcurl('api') }}">Code</a></li>
    <li><a href="{{ pcurl('support') }}">Support</a></li>
</ul>