diff options
author | Rob Ruana <robruana@magfest.org> | 2018-09-23 09:36:41 -0400 |
---|---|---|
committer | Rob Ruana <robruana@magfest.org> | 2018-09-23 09:36:41 -0400 |
commit | 408219cf81c1bac0c31684ca8fe36a4cb8c88cfc (patch) | |
tree | 1958415dcd70287fba86f427f3c525a200c52b3e /sphinx/ext/coverage.py | |
parent | e547a6a0d26d2d7fa4bb45103e68a61d815b0efe (diff) | |
download | sphinx-git-408219cf81c1bac0c31684ca8fe36a4cb8c88cfc.tar.gz |
Fixes mypy type errors introduced by #5129
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions