Add top navigator
[web.git] / docs / menu.inc
2016-05-02 Álvaro Fernández... docs: include menu in config.html and fix status
2016-04-29 John Crispinvarious updates
2016-04-03 Jo-Philipp WichAdd active menu item indication
2016-04-03 Jo-Philipp WichRework pages