comparison Jenkinsfile @ 6919:ef6991dee3b1

diffs: extract _get_header as a pure function
author Mads Kiilerich <mads@kiilerich.com>
date Tue, 03 Oct 2017 00:14:40 +0200
parents 8a60eb2b7603
children 0acb46763886
comparison
equal deleted inserted replaced
6918:e708b26819cd 6919:ef6991dee3b1