Merge pull request #7280
668906fcf27bUnpublished
Actions

Unpublished Commit · Learn More

Repository Importing: This repository is still importing.

Merge pull request #7280

faeda0e [travis] Run contrib/devtools/check-doc.py early (MarcoFalke)
fada0c9 [travis] Fail when documentation is outdated (MarcoFalke)

Provenance

Wladimir J. van der Laan <laanwj@gmail.com>	Authored on Jan 19 2016, 08:41
schancel	Pushed on Jan 5 2018, 21:58
schancel	Pushed on Jan 5 2018, 21:39
schancel	Pushed on Jan 5 2018, 21:17

Parents

Branches

Unknown

Tags

Unknown

Wladimir J. van der Laan <laanwj@gmail.com> committed rSTAGING668906fcf27b: Merge pull request #7280 (authored by Wladimir J. van der Laan <laanwj@gmail.com>).Jan 19 2016, 08:41