diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-11-24 22:52:53 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-24 22:52:53 +0900 |
| commit | 9c2fd94204fce9f056104083f20f094827619781 (patch) | |
| tree | 92b343c09f3d6b795cfc483c52c427c65b9e245d /sphinx/builders/devhelp.py | |
| parent | 95dffb2af6fbdefe30f1b492adedc4036abd6f84 (diff) | |
| parent | f786a890f54c38e134bfcd5cac4a46ab86549b36 (diff) | |
| download | sphinx-git-9c2fd94204fce9f056104083f20f094827619781.tar.gz | |
Merge pull request #5667 from tk0miya/fix_typehints_for_domains
Fix typehints for domains
Diffstat (limited to 'sphinx/builders/devhelp.py')
0 files changed, 0 insertions, 0 deletions