aboutsummaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorClément Pit-Claudel2019-05-10 11:08:53 -0400
committerClément Pit-Claudel2019-05-10 11:08:53 -0400
commit482995d1741be47f6c296276aeb4322443c5b3f4 (patch)
tree55d8bce16f21223a7c748bf112bbadf85bc6021b /plugins
parent73f921f9634b9ccb587b2f85869d88eb12983d0f (diff)
parente9d6aef75963126d7a856f5b88db8fd1e550f596 (diff)
Merge PR #10080: Define minimum Sphinx version in conf.py.
Reviewed-by: cpitclaudel Reviewed-by: vbgl
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions