diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-11-01 23:20:04 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-01 23:20:04 +0900 |
| commit | 66867111c8444d95cbd25e888077a5178cc1caa0 (patch) | |
| tree | 1d00d23c0069f6f8bb5631a5e6b2435212644dbd /doc/conf.py | |
| parent | 7a1516a8b0426d62a4c8ad2dcbe05f960af22bae (diff) | |
| parent | 01130900b5193b98fc9d088b9b7443228038ae12 (diff) | |
| download | sphinx-git-66867111c8444d95cbd25e888077a5178cc1caa0.tar.gz | |
Merge pull request #5581 from tk0miya/5557_quickstart_no_batchfile
Fix #5557: quickstart: --no-batchfile isn't honored
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions