projects / osm / vim-emu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baeab7b) | patch
CI: Fix in Jenkins file 06/8006/2
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 1 Oct 2019 14:13:42 +0000 (16:13 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 1 Oct 2019 14:19:08 +0000 (16:19 +0200)
commit09a96444ad84d262d363df85ad6cd5fe4cc00889
tree244681612604e44c1ec3ffd668feff8ba427ee59tree | snapshot
parentbaeab7bcd1a8d65301d44c84e091845090010de5commit | diff
CI: Fix in Jenkins file

Change-Id: Iac3103cca2259f29631795be6bced3e1f7fefff8
Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>
Jenkinsfile diff | blob | history