diff --git a/docs/_includes/search/script.html b/docs/_includes/search/script.html index 7ddd1280fed..dca756d7709 100644 --- a/docs/_includes/search/script.html +++ b/docs/_includes/search/script.html @@ -1,9 +1,9 @@ - +