Neels Hofmeyr 76b98cf236 add contrib/jenkins.sh, for gerrit build bot ... Change-Id: If8887525b0062090e9445a35e32b03e3b8e7eede		2016-10-17 17:53:26 +02:00
..
jenkins.sh	add contrib/jenkins.sh, for gerrit build bot	2016-10-17 17:53:26 +02:00