Commit 211f7cf0 authored by Dominik Rimpf's avatar Dominik Rimpf

CHG: renamed config parameter

parent e8297c5b
Pipeline #114523 passed with stage
in 22 seconds