comparison 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
comparison
equal deleted inserted replaced
8035:eefb46488667 8036:e7b6a0ce123c