diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-05-19 22:47:01 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-19 22:47:01 +0900 |
commit | ca36c9ab171da5a7b31e8351e4967d3b4e205478 (patch) | |
tree | 0014064043c4044a503df9d84ef387953bedbe21 /sphinx/application.py | |
parent | 630e5bd15f43c6cd91e61723f40b6c94ef622060 (diff) | |
parent | 2d3d668856e518203200e95b8b64788c98d39d9a (diff) | |
download | sphinx-git-ca36c9ab171da5a7b31e8351e4967d3b4e205478.tar.gz |
Merge pull request #9246 from tk0miya/9240_unknown_node_pending_xref_condition
Fix #9240: Unknown node error for pending_xref_condition is raised
Diffstat (limited to 'sphinx/application.py')
0 files changed, 0 insertions, 0 deletions