diff --git a/docs/src/index.html b/docs/src/index.html index e80a6138b2..727523eda3 100644 --- a/docs/src/index.html +++ b/docs/src/index.html @@ -32,6 +32,7 @@