API docs: removed stray tags

Signed-off-by: Mavridis Philippe <mavridisf@gmail.com>
2 years ago · 7e378f09cc
parent ad41084b8d
commit 7e378f09cc
2 changed files with 2 additions and 2 deletions
--- a/doc/common/header.html
+++ b/doc/common/header.html
@ -46,7 +46,7 @@
    </div>

    <div id="menu">
-</ul>    </div>
+    </div>
  </div>
 </div>
 <!-- End page header -->
--- a/doc/common/mainheader.html
+++ b/doc/common/mainheader.html
@ -45,7 +45,7 @@
    </div>

    <div id="menu">
-</ul>    </div>
+    </div>
  </div>
 </div>
 <!-- End page header -->