diff --git a/docs/index.html b/docs/index.html index 34f2403a4..f44fa664d 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1324,7 +1324,7 @@