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