jenkins: improve documentation
authorJustus Winter <justus@g10code.com>
Wed, 9 Aug 2017 12:02:31 +0000 (14:02 +0200)
committerJustus Winter <justus@g10code.com>
Wed, 9 Aug 2017 12:02:31 +0000 (14:02 +0200)
commitab8ed2d2161eed95342fc2c495b71a7d83deda6f
treefe190fc4508551e16a9ef4c3d4c29ce10bc0d97e
parent3aba49f2b1dfcd76db5a8d6c41a5c6570b7a3f2c
jenkins: improve documentation
misc/jenkins/README.org