diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2016-02-01 17:57:45 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2016-03-03 13:05:22 +0100 |
| commit | fa5f19319a3f00ca6586daba955d296295c82a1f (patch) | |
| tree | af4e1f9489145564ccd23f204d8a3b3650f2d11b /src/Makefile.bench.include | |
| parent | 1b68de35250e7c00105eac5c2533b97f4e97dc27 (diff) | |
[travis] Exit early when check-doc.py fails
Diffstat (limited to 'src/Makefile.bench.include')
0 files changed, 0 insertions, 0 deletions