Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/sphinx-doc/sphinx.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-08-19Closes #8123: Fix plus-handling (+) in search terms for basic html theme searchDaniel Hofmann
2018-07-22 #5186 configure karmaTimotheus Kampik