diff --git a/docs/index.html b/docs/index.html index 2d5a42a54..1be3b10a9 100644 --- a/docs/index.html +++ b/docs/index.html @@ -14,6 +14,7 @@