| commit | 345776321aeb7cc4a5e1be8fbdeedfc3ef59e4b6 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu May 12 17:04:52 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu May 12 17:04:52 2016 +0200 |
| tree | b706b5154741e75c81fce846633e7db3290d191c | |
| parent | b63a5b4d2e960b176c6547f826419adc44a7f9cf [diff] |
re-test to check jenkins config