diff --git a/docs/src/static/index.html b/docs/src/static/index.html index 5e358eea74..57d566b85c 100644 --- a/docs/src/static/index.html +++ b/docs/src/static/index.html @@ -7,7 +7,7 @@ - +