Remove deprecated plugins header

pull/135/head
Simon Stürz 2018-03-01 14:45:09 +01:00 committed by Michael Zanetti
parent dc1b10955a
commit c416b22501
2 changed files with 4 additions and 2 deletions

View File

@ -16,8 +16,8 @@ HTML.postheader = \
" <a href=\"index.html\" class=\"indexref nymea-logo\"><img src=\"images/main-logo.svg\" class=\"nymea-main-logo\"/></a>\n" \
" <div class=\"nymea-navbar-center-right\">\n" \
" <div>\n" \
" <ul class=\"nymea-navbar-nav\">\n" \
" <li><a href=\"plugins.html\">Plugins</a></li>\n" \
" <ul class=\"guh-navbar-nav\">\n" \
" <li><a href=\"interfaces.html\">Interfaces</a></li>\n" \
" <li><a href=\"api.html\">API</a></li>\n" \
" <li><a href=\"write-plugins.html\">Write Plugins</a></li>\n" \
" </ul>\n" \

View File

@ -1,6 +1,8 @@
/*!
\page index.html
\chapter Developer documentation
Welcome to the guh developer documentation. Here you can find information related to the development for guh.
\section1 Overview