CI: Update int/dist manged file settings
[releng/builder.git] / jenkins-config / global-vars-production.sh
1 global-vars-releng.sh