diff Jenkinsfile @ 7730:bb5650d4a914

config: clarify naming of repo_root_path
author Mads Kiilerich <mads@kiilerich.com>
date Wed, 23 Jan 2019 12:38:05 +0100
parents 58713c2ebfff
children d9e37f7fd35b
line wrap: on
line diff