diff --git a/docs/index.html b/docs/index.html index 5dcbe32f5..7444a5e9a 100644 --- a/docs/index.html +++ b/docs/index.html @@ -62,6 +62,7 @@