diff --git a/documentation/html/quicksearch.html b/documentation/html/quicksearch.html index 817f9ccfe5..b518aca4cb 100644 --- a/documentation/html/quicksearch.html +++ b/documentation/html/quicksearch.html @@ -7,7 +7,7 @@