Merge pull request #7280
faeda0e [travis] Run contrib/devtools/check-doc.py early (MarcoFalke)
fada0c9 [travis] Fail when documentation is outdated (MarcoFalke)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Jan 19 2016, 08:41 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABCfaeda0e67792: [travis] Run contrib/devtools/check-doc.py early
rABC21376af183ff: Merge pull request #7372 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes