| commit | eb98c8e9e6694709a3cd9f622059b4248c5df7b2 | [log] [tgz] |
|---|---|---|
| author | Jakub Josef <jakub.josef@gmail.com> | Mon Mar 13 18:13:58 2017 +0100 |
| committer | Jakub Josef <jakub.josef@gmail.com> | Mon Mar 13 18:13:58 2017 +0100 |
| tree | 9056ee71e00a1d6c5e4c2408a487f668b4410df5 | |
| parent | cbf2015395896f9df59ac590c9766cae8f0a7682 [diff] |
Improved output of jenkins pipeline Change-Id: I8d5a13490f1562df082dcb258771bfae8daa742a