diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-12-23 15:01:47 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-23 15:01:47 +0900 |
| commit | 35d0934caad6192ad2cbc55e1c9df556b576e4b9 (patch) | |
| tree | 85c10dee975a50b3e3b9bae4669d15eb4ff813ff /sphinx/builders/htmlhelp.py | |
| parent | f8a3407c7c29d5a03a53707ad400ee378a4c723b (diff) | |
| parent | f06e84ac4f9c1c80c112a680631882fa6e4428e1 (diff) | |
| download | sphinx-git-35d0934caad6192ad2cbc55e1c9df556b576e4b9.tar.gz | |
Merge pull request #5848 from tk0miya/5800_todo_inside_TextElement
Fix #5800: todo: crashed if todo is defined in TextElement
Diffstat (limited to 'sphinx/builders/htmlhelp.py')
0 files changed, 0 insertions, 0 deletions