diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-19 09:41:11 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-01-19 09:41:32 +0100 |
| commit | 668906fcf27bdf43a82fe331a377aef55e4b593a (patch) | |
| tree | 7700b69a8f656a4e9486415aeb12fad5f76f1667 /qa | |
| parent | 21376af183ffd1a9b4a16610ec53e3d4d258dbc2 (diff) | |
| parent | faeda0e67792855cdafa2f6eaf43ad74de89b18b (diff) | |
Merge pull request #7280
faeda0e [travis] Run contrib/devtools/check-doc.py early (MarcoFalke)
fada0c9 [travis] Fail when documentation is outdated (MarcoFalke)
Diffstat (limited to 'qa')
0 files changed, 0 insertions, 0 deletions