diff --git a/documentation/src/html_footer b/documentation/src/html_footer index 589aca2a6..f5ef08a64 100644 --- a/documentation/src/html_footer +++ b/documentation/src/html_footer @@ -1,7 +1,7 @@