diff --git a/docs/index.html b/docs/index.html index d9634f81bd..4dba176c13 100644 --- a/docs/index.html +++ b/docs/index.html @@ -3,6 +3,7 @@