diff --git a/lib/docs/index.html b/lib/docs/index.html index 36cfcc55cc486393b54552846e2fc9e621bbef10..9cc92d134ae74764851a5f29b517b4d90a462e98 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -758,7 +758,7 @@
- s to search, ? for more options + / or s to search, ? for more options
@@ -876,7 +876,7 @@