| commit | 8b789997de031bade6511f44aeee8fe4055f0e5a | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Oct 01 15:39:08 2019 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Oct 01 15:53:42 2019 +0200 |
| tree | fff0ae56a17ba3c73b8dcf89c20744660636ee6c | |
| parent | 0794a1adbc3245fb645ddfb965e64230b22ff2a6 [diff] |
Change in Jenkins file Change-Id: Ibcac44c7034c9b97431887e9ff43e747d4637002 Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>