Skip to content

Commit

Permalink
Merge pull request #6399 from hugovk/docs-rm-search-page
Browse files Browse the repository at this point in the history
Docs: remove redundant search page from table of contents
  • Loading branch information
radarhere committed Jun 29, 2022
2 parents 14169c5 + 31bed8c commit baa8628
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion docs/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -94,4 +94,3 @@ Indices and tables

* :ref:`genindex`
* :ref:`modindex`
* :ref:`search`

0 comments on commit baa8628

Please sign in to comment.