diff options
| author | shimizukawa <shimizukawa@gmail.com> | 2018-03-16 16:19:39 +0900 |
|---|---|---|
| committer | shimizukawa <shimizukawa@gmail.com> | 2018-03-16 16:19:39 +0900 |
| commit | e3470bbde33bff93c363d86f7a2ad0380faecd07 (patch) | |
| tree | 98b9526422a5b63e85b6c8d96127a3f1ea8415f2 /sphinx/ext/coverage.py | |
| parent | bccdc7f02d1ee89212651f577551bc41e608ce02 (diff) | |
| download | sphinx-git-e3470bbde33bff93c363d86f7a2ad0380faecd07.tar.gz | |
fix #4734: Describe how to specify make.bat parameter on Windows
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions