comparison .hgsigs @ 6924:0acb46763886

jenkinsfile: combine coverage files from different DB runs
author domruf <dominikruf@gmail.com>
date Mon, 21 Aug 2017 21:42:28 +0200
parents 9b9258f5e2b2
children
comparison
equal deleted inserted replaced
6923:d2f20f3d2117 6924:0acb46763886