diff options
| author | jfbu <jfbu@free.fr> | 2017-03-03 10:43:22 +0100 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2017-03-03 10:43:22 +0100 |
| commit | 8f5d1e1050f25e19fb87f411509ecbd4f035b915 (patch) | |
| tree | 21b9a4a3852b8271b8f21f9862dcc023682995b3 /sphinx/ext/coverage.py | |
| parent | 3743199576fd1eb9fc34f7967d3d64076dd0b448 (diff) | |
| download | sphinx-git-8f5d1e1050f25e19fb87f411509ecbd4f035b915.tar.gz | |
Fix error in merge of 'stable'
modified: sphinx/builders/gettext.py
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions