diff options
| author | Dan Halbert <halbert@halwitz.org> | 2019-01-09 10:36:38 -0500 |
|---|---|---|
| committer | Dan Halbert <halbert@halwitz.org> | 2019-01-09 10:36:38 -0500 |
| commit | 89af6660930ab977a491c7662458cc2d8ee37ee9 (patch) | |
| tree | b49ef6b432a93dfb982edf3f0be9f627964662f1 /tools | |
| parent | 5fc28970b4e7f849cf95daacfecf534596de6c68 (diff) | |
fix sphinx complaint; more travis fold status reporting
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions