diff options
| -rw-r--r-- | docs/OpenProjects.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/OpenProjects.html b/docs/OpenProjects.html index a840e8c6d7..b61460bd6f 100644 --- a/docs/OpenProjects.html +++ b/docs/OpenProjects.html @@ -306,7 +306,7 @@ profiling code to work with the generic profiling interfaces.</li> </div> <!-- ======================================================================= --> -<div class="doc_subsection"> +<div class="doc_section"> <a name="misc_new">Miscellaneous Additions</a> </div> |