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