2 Commits

Author	SHA1	Message	Date
MarcoFalke	faeda0e677	[travis] Run contrib/devtools/check-doc.py early	2016-01-18 14:00:02 +01:00
MarcoFalke	fada0c90b6	[travis] Fail when documentation is outdated	2016-01-04 19:24:07 +01:00