diff options
| author | jfbu <jfbu@free.fr> | 2019-08-01 17:42:37 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2019-08-01 17:42:37 +0200 |
| commit | eeca5ee91d2da817d4ad9e920ad7e4cabd966d08 (patch) | |
| tree | d705e2adcb43ca51c18600b9d3933e5fa9b9c5b1 /sphinx/builders/html.py | |
| parent | 80abe4945e48bd433ff520471e00c49707af4e17 (diff) | |
| download | sphinx-git-eeca5ee91d2da817d4ad9e920ad7e4cabd966d08.tar.gz | |
Revert "Fix CHANGES entry for #6310 merge"
This reverts commit 80abe4945e48bd433ff520471e00c49707af4e17.
Diffstat (limited to 'sphinx/builders/html.py')
0 files changed, 0 insertions, 0 deletions