Commit 3cfb42fa authored by Lars Kruse's avatar Lars Kruse

add configuration file for 'coverage'

parent 13a823a0
Pipeline #1282 failed with stage
in 1 minute and 40 seconds