scala/jenkins-scripts — pull request #71 by xeno-by (2014-01-08 19:20:58+00:00)
Title: deletes the hooked paradise builds

No longer needed since https://github.com/scala/scala/pull/3235 is now merged.