diff --git a/docs/doxygen/header.html b/docs/doxygen/header.html index fc64318ecf..c7d8cb7acf 100644 --- a/docs/doxygen/header.html +++ b/docs/doxygen/header.html @@ -71,6 +71,7 @@ $(function () {