1. 54fc223 jenkins.sh: disable 'publish' of manuals; we don't have any yet by Harald Welte · 4 years, 10 months ago
  2. 645fa46 add contrib/jenkins.sh by Harald Welte · 5 years ago