diff Jenkinsfile @ 8704:3669e58f3002

Merge stable
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 30 Oct 2020 23:44:18 +0100
parents 89e9aef9b983
children 0a9ddb8cd8c1
line wrap: on
line diff