docs: cleanup: remove redundant sphinxprettysearchresults Sphinx extension#412
Merged
BogdanFloris merged 1 commit intoMar 5, 2024
Merged
docs: cleanup: remove redundant sphinxprettysearchresults Sphinx extension#412BogdanFloris merged 1 commit into
BogdanFloris merged 1 commit into