diff --git a/doc/web/templates/default.html b/doc/web/templates/default.html index cb6e335f4..e567a3579 100644 --- a/doc/web/templates/default.html +++ b/doc/web/templates/default.html @@ -1,5 +1,5 @@ - +