1. a335ee3 jenkins.sh: remove code dup by Neels Hofmeyr · 8 years ago
  2. 81eb10c jenkins: Add the build script from jenkins here by Holger Hans Peter Freyther · 8 years ago