Hugo van KemenadeandGitHub c9d2bc6d7f Revert "Doc: Show object descriptions in the table of contents (#125757)" (#128406)

2025-01-02 14:35:00 +00:00

..

changelog_search.js

…

glossary_search.js

GH-121970: Improve the glossary preview in HTML search (#121991)

2024-07-19 10:16:59 +01:00

rtd_switcher.js

gh-125933: Add ARIA labels to select elements in the version switcher (#125934)

2024-10-24 23:52:21 +03:00