diff --git a/docs/index.html b/docs/index.html index 9f874f4ec..fe81e400b 100644 --- a/docs/index.html +++ b/docs/index.html @@ -233,7 +233,7 @@ -->