diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-01-25 01:14:26 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-25 01:14:26 +0900 |
| commit | af96f79456fab14a480db31a75c37bb4b05aabbb (patch) | |
| tree | 88e20f0be35163742a6280cf1d18418a4db1ef7d /sphinx/builders/devhelp.py | |
| parent | 78434992f79475794691e22cd148637aa067be4c (diff) | |
| parent | 467c2d7cb7274b4365271bb0ed90a784afa5db98 (diff) | |
| download | sphinx-git-af96f79456fab14a480db31a75c37bb4b05aabbb.tar.gz | |
Merge pull request #4480 from tk0miya/4477_invalid_buildinfo_file
Fix #4477: Build fails after building specific files
Diffstat (limited to 'sphinx/builders/devhelp.py')
0 files changed, 0 insertions, 0 deletions