| commit | 22649a23c12c810d792c8c9f4f995d003f7e7507 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 14 08:26:42 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Sep 14 08:26:42 2017 +0200 |
| tree | 9805b70618012b8861ab8bea72ba3bb8f6a27059 | |
| parent | 5b9096ef3f5f4c9caf56a223cfbddb7e8f445d60 [diff] |
Modified CI integration. Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>