diff --git a/doc/footer.html b/doc/footer.html index c9cd93754..c42870da2 100644 --- a/doc/footer.html +++ b/doc/footer.html @@ -1,7 +1,7 @@