Skip to content
This repository was archived by the owner on Apr 8, 2025. It is now read-only.

Support searchtools override regardless of Sphinx version#26

Merged
agjohnson merged 3 commits intomasterfrom
fix-search-sphinx-15
May 10, 2017

Commits

Commits on May 3, 2017

Commits on May 9, 2017