| commit | 86fc48ef6b475e7d0187b6b294ae25c27b191150 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 08:48:56 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 08:48:56 2017 +0100 |
| tree | 97dd7a0efdd05772ba44482c60df8ef4818c1ec2 | |
| parent | dfc1460d7f4d0eae6412ad0c80ab9a9deb6e657d [diff] |
Cleaning up jenkins test integration.