tree 9056ee71e00a1d6c5e4c2408a487f668b4410df5
parent cbf2015395896f9df59ac590c9766cae8f0a7682
author Jakub Josef <jakub.josef@gmail.com> 1489425238 +0100
committer Jakub Josef <jakub.josef@gmail.com> 1489425238 +0100

Improved output of jenkins pipeline

Change-Id: I8d5a13490f1562df082dcb258771bfae8daa742a