diff Jenkinsfile @ 8036:e7b6a0ce123c

cleanup: minor formatting
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 27 Dec 2019 01:43:46 +0100
parents d9e37f7fd35b
children 89e9aef9b983
line wrap: on
line diff