diff --git a/documentation/src/html_footer b/documentation/src/html_footer index 0ae62b10a..56490cd7d 100644 --- a/documentation/src/html_footer +++ b/documentation/src/html_footer @@ -1,7 +1,7 @@