diff options
Diffstat (limited to 'docs/html/quicksearch.html')
| -rw-r--r-- | docs/html/quicksearch.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/html/quicksearch.html b/docs/html/quicksearch.html index e4ff6528d..68596a202 100644 --- a/docs/html/quicksearch.html +++ b/docs/html/quicksearch.html @@ -71,7 +71,7 @@ CLASS="SECTION" CLASS="SECTION" ><A NAME="QUICKSEARCH" ->D.3. The Quicksearch Utility</A +>D.4. The Quicksearch Utility</A ></H1 ><P > Quicksearch is a new, experimental feature of the 2.12 release. |