| commit | a5a0ea08373c54e0855efad1dcc83d67ba577943 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 14:11:03 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Feb 06 14:11:03 2017 +0100 |
| tree | 1f2183f1520330071d30257dd68860b5d5b3a13a | |
| parent | c46fe93dd3f79a91ce86baf933282aa25ff76ddc [diff] | |
| parent | 188ab68acc5ded53a7bbcf07c237b3e33a0e4e69 [diff] |
Merge pull request #194 from mpeuster/master Cleaning up jenkins test integration.