diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-11-01 01:23:34 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-01 01:23:34 +0900 |
commit | d9ee41b86aadf8e56952f5c9b9a8989e4e8c44d7 (patch) | |
tree | 7ef7799dd246333d88d2b2a1c3d8ba709a392c0f /doc/conf.py | |
parent | f4d7b2e60e4352aac6e19dad16f39328bf493ff4 (diff) | |
parent | e3574a6f78ebf524a343edd2951ff51665831853 (diff) | |
download | sphinx-git-d9ee41b86aadf8e56952f5c9b9a8989e4e8c44d7.tar.gz |
Merge pull request #5571 from tk0miya/3002_i18n_duplicated_ids
Fix #3002: i18n: multiple footnote_references referring same footnote causes duplicated node_ids
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions