diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-12-15 22:04:29 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-15 22:04:29 +0900 |
| commit | 2ec6ce85ef781795dcfb63ccef736b33c6ac96a2 (patch) | |
| tree | d8e6608f42235dee340911099ef528ea5f90b244 /doc/extdev | |
| parent | 24908e0fa9868ea278db25161d6b51038f1db3ca (diff) | |
| parent | 42f6b913332220128e696efcf16fb3fe7c6efc9f (diff) | |
| download | sphinx-git-2ec6ce85ef781795dcfb63ccef736b33c6ac96a2.tar.gz | |
Merge pull request #6924 from tk0miya/pinning_coverage
CI: Pinning coverage < 5.0
Diffstat (limited to 'doc/extdev')
0 files changed, 0 insertions, 0 deletions