diff .coveragerc @ 6551:bc1b11a5d548

jenkinsfile: catch the correct exception if jenkins plugin is not available
author domruf <dominikruf@gmail.com>
date Wed, 15 Mar 2017 12:36:43 +0100
parents 7790b34a0cef
children 0acb46763886
line wrap: on
line diff