diff options
| author | jfbu <jfbu@free.fr> | 2019-07-30 22:43:49 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2019-07-30 22:43:49 +0200 |
| commit | 80abe4945e48bd433ff520471e00c49707af4e17 (patch) | |
| tree | f0a7f58945396e0098b14d7aa4d08edcd58f70c7 /sphinx/builders/html.py | |
| parent | a498960de9039b0d0c8d24f75f32fa4acd5b75e1 (diff) | |
| download | sphinx-git-80abe4945e48bd433ff520471e00c49707af4e17.tar.gz | |
Fix CHANGES entry for #6310 merge
Diffstat (limited to 'sphinx/builders/html.py')
0 files changed, 0 insertions, 0 deletions