Christian Kühnel ba32421384 removed "ninja check" to speed up builds		2019-11-12 16:31:11 +01:00
..
Jenkinsfile	removed "ninja check" to speed up builds	2019-11-12 16:31:11 +01:00