diff Jenkinsfile @ 6817:620fdea952e6

templates: revert accidental rename from 5e3adb20839d
author domruf <dominikruf@gmail.com>
date Sun, 30 Jul 2017 13:51:35 +0200
parents 8a60eb2b7603
children 0acb46763886
line wrap: on
line diff