diff options
| author | jfbu <jfbu@free.fr> | 2019-01-14 16:44:35 +0100 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2019-01-14 16:44:35 +0100 |
| commit | ecf5d7622b00349e1e95d7030fcb90a13e6c2825 (patch) | |
| tree | e00fc5d3c57c7d105724b9708da8f47c860efa9b /sphinx/ext/coverage.py | |
| parent | e7aee6e82a36de18085327df72b9931aee16d60d (diff) | |
| download | sphinx-git-ecf5d7622b00349e1e95d7030fcb90a13e6c2825.tar.gz | |
Make mypy happy, but I protest !
modified: sphinx/writers/latex.py
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions