diff options
| author | jfbu <jfbu@free.fr> | 2019-08-01 18:27:50 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2019-08-01 18:30:15 +0200 |
| commit | 4732ec5edf9e53e2fa78cd5e1ff6bee92f1b27b7 (patch) | |
| tree | 8bb5f7215c774487aa61fcfea51b08bfd21e8ddd /sphinx/ext/coverage.py | |
| parent | 51523a7c07ead7460cb30bd3ae4e4402c2e700d9 (diff) | |
| download | sphinx-git-4732ec5edf9e53e2fa78cd5e1ff6bee92f1b27b7.tar.gz | |
Fix type annotation
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions