diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2016-07-02 10:47:25 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-02 10:47:25 +0900 |
| commit | 63b50b5c8fcd27d61ff806af18557466db108a94 (patch) | |
| tree | ea6f3b5c708ac3ed1f652ee6ab7e87057f6281fc /sphinx/builders/devhelp.py | |
| parent | 1eaa412372d72bfd5b866aca47934517be55fd1d (diff) | |
| parent | f8add5742d7cb69bedbfd461d3da1d04f61c3a61 (diff) | |
| download | sphinx-git-63b50b5c8fcd27d61ff806af18557466db108a94.tar.gz | |
Merge pull request #2644 from pfultz2/refdoc
Make refdoc attribute optional for pending_xref nodes
Diffstat (limited to 'sphinx/builders/devhelp.py')
0 files changed, 0 insertions, 0 deletions