diff --git a/docs/index.html b/docs/index.html index 55c715526a6..2a12da3881f 100644 --- a/docs/index.html +++ b/docs/index.html @@ -67,15 +67,16 @@