diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-11-01 01:00:33 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-11-01 01:00:33 +0900 |
commit | 5755b6aeb805c16c92158e47eb57afc8d27e9d57 (patch) | |
tree | 1b31515d0441a67c123dc025e3afd9b0b96a6062 /doc/conf.py | |
parent | f4d7b2e60e4352aac6e19dad16f39328bf493ff4 (diff) | |
download | sphinx-git-5755b6aeb805c16c92158e47eb57afc8d27e9d57.tar.gz |
Fix #5557: quickstart: --no-batchfile isn't honored
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions