diff options
| author | Clément Pit-Claudel | 2019-05-10 11:08:53 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-05-10 11:08:53 -0400 |
| commit | 482995d1741be47f6c296276aeb4322443c5b3f4 (patch) | |
| tree | 55d8bce16f21223a7c748bf112bbadf85bc6021b /plugins | |
| parent | 73f921f9634b9ccb587b2f85869d88eb12983d0f (diff) | |
| parent | e9d6aef75963126d7a856f5b88db8fd1e550f596 (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
