summaryrefslogtreecommitdiff
path: root/sphinx/ext/coverage.py
diff options
context:
space:
mode:
authorTim Hoffmann <2836374+timhoffm@users.noreply.github.com>2021-03-15 00:27:39 +0100
committerTim Hoffmann <2836374+timhoffm@users.noreply.github.com>2021-03-15 00:27:39 +0100
commit0d73a03a3830a08ef2128c2046821193ea7d5709 (patch)
tree92b72ad0352154a857daa8286502855399604916 /sphinx/ext/coverage.py
parent2934aac441392f70d9baad994ea866f6bdbd8352 (diff)
downloadsphinx-git-0d73a03a3830a08ef2128c2046821193ea7d5709.tar.gz
DOC: Minor cleanup of sphinx-build doc
The moved sentence clearly belongs to the discussion of the builders.
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions