diff options
Diffstat (limited to 'doc/header.html')
| -rw-r--r-- | doc/header.html | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/header.html b/doc/header.html index 2e419e35..b907bc8b 100644 --- a/doc/header.html +++ b/doc/header.html @@ -35,3 +35,12 @@ </div> <!--END TITLEAREA--> <!-- end header part --> + + <!-- Fake static menu from Doxygen 1.8.15 --> + <div id="staticnavrow" class="tabs"> + <ul class="tablist"> + <li><a href="index.html"><span>Main Page</span></a></li> + <li><a href="modules.html"><span>Modules</span></a></li> + <li><a href="annotated.html"><span>Data Structures</span></a></li> + </ul> + </div> |