diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-03 16:26:45 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-03-03 16:26:52 +0100 |
| commit | 7f966713a4133caccc54e6aa0f70ff80826cd3b2 (patch) | |
| tree | 9ad1563ac0c6721d8e498f1fccebb34976f4db22 /src | |
| parent | 3368895c3b94d8fda4d6cca22ae4766625b7a2c9 (diff) | |
| parent | fa5f19319a3f00ca6586daba955d296295c82a1f (diff) | |
Merge #7455: [travis] Exit early when check-doc.py fails
fa5f193 [travis] Exit early when check-doc.py fails (MarcoFalke)
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions