diff --git a/doc/footer.html b/doc/footer.html index a3eda0ed..ad4a9259 100644 --- a/doc/footer.html +++ b/doc/footer.html @@ -1,5 +1,5 @@ -