HTML Search: omit anchor reference from document titles in the search index.#12047
Merged
picnixz merged 25 commits intosphinx-doc:masterfrom Jul 8, 2024
jayaddison:issue-11961/searchindex-omit-doctitle-anchors
Merged
HTML Search: omit anchor reference from document titles in the search index.#12047picnixz merged 25 commits intosphinx-doc:masterfrom jayaddison:issue-11961/searchindex-omit-doctitle-anchors
picnixz merged 25 commits intosphinx-doc:masterfrom
jayaddison:issue-11961/searchindex-omit-doctitle-anchors
Commits
Commits on Mar 4, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed