diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-03-03 13:40:24 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-03 13:40:24 +0900 |
| commit | beca8d7aeabf7111a88b5db2a1c1e6550d928d8a (patch) | |
| tree | 797c6a2a444aa7050907b6df5f44287ddaafd739 /sphinx/ext/coverage.py | |
| parent | 73320239703974dd28b602f0f2675c84ae19c0dc (diff) | |
| parent | 6e7d87800365a1de975af5c69f484cb315439796 (diff) | |
| download | sphinx-git-beca8d7aeabf7111a88b5db2a1c1e6550d928d8a.tar.gz | |
Merge pull request #3500 from tk0miya/3499_pin_mypy_0.4
Pin mypy < 0.5 (refs: #3499)
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions