Renamed configure-jenkins to configure_jenkins

This commit is contained in:
Игорь Чудов 2019-10-04 13:03:32 +04:00
parent f33887b972
commit e2327308b8
Signed by untrusted user: nir
GPG Key ID: 0F3883600CAE7AAC