esteve/jenkins_scripts — pull request #2 by tfoote (2014-02-11 05:29:47+00:00)
Title: switch to curl from wget

it's preinstalled on more machines.