diff --git a/docs/index.html b/docs/index.html index 5228302eac..f52a265b64 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1,6 +1,7 @@ + @@ -331,4 +332,4 @@

Index and search