diff --git a/docs/index.html b/docs/index.html index 956d0ca6849..a7d3d92141d 100644 --- a/docs/index.html +++ b/docs/index.html @@ -20,7 +20,6 @@