diff --git a/docs/OpenProjects.html b/docs/OpenProjects.html index a840e8c6d75..b61460bd6fe 100644 --- a/docs/OpenProjects.html +++ b/docs/OpenProjects.html @@ -306,7 +306,7 @@ profiling code to work with the generic profiling interfaces. -
+
Miscellaneous Additions