Merge pull request #6399 from hugovk/docs-rm-search-page

Docs: remove redundant search page from table of contents
This commit is contained in:
Andrew Murray 2022-06-29 19:08:42 +10:00 committed by GitHub
commit baa8628e7c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -94,4 +94,3 @@ Indices and tables
* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`