Thomas Haller ced90e3677 contrib/jenkins: update jenkins_script.sh ... Enable more-asserts and more-logging in test build.		2015-04-23 16:51:33 +02:00
..
jenkins_script.sh	contrib/jenkins: update jenkins_script.sh	2015-04-23 16:51:33 +02:00
trigger_build.sh	contrib: update IP address of jenkins	2015-04-16 15:16:36 +02:00