diff --git a/lib/docs/index.html b/lib/docs/index.html index 5fe80be91c..37025c4e72 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -722,11 +722,13 @@