diff --git a/documentation/doxygen/htmlheader.html b/documentation/doxygen/htmlheader.html index c33cf13f9867e..7c995cb74e4f6 100644 --- a/documentation/doxygen/htmlheader.html +++ b/documentation/doxygen/htmlheader.html @@ -56,7 +56,6 @@