diff Jenkinsfile @ 8494:f69d19818d9e stable

contributors: update
author Thomas De Schampheleire <thomas.de_schampheleire@nokia.com>
date Sun, 04 Oct 2020 21:10:16 +0200
parents 89e9aef9b983
children 0a9ddb8cd8c1
line wrap: on
line diff