Neels Hofmeyr f074019027 contrib/jenkins.sh: rather git checkout -f instead of pull ... Change-Id: Idc672879dcb3d38978e27b90c173f0aa950c4eb1		2017-11-28 05:43:26 +01:00
..
jenkins.sh	contrib/jenkins.sh: rather git checkout -f instead of pull	2017-11-28 05:43:26 +01:00