search

vircadia / vircadia-docs-sphinx

User documentation for Vircadia.
https://docs.vircadia.com/
Other
8 stars 18 forks source link

Fix search on Sphinx 3.4.x #164

Closed JulianGro closed 3 years ago

JulianGro commented 3 years ago

See upstream https://github.com/readthedocs/sphinx_rtd_theme/pull/1021