| commit | 2b7765f2750a8bedeb3d7cab62a7c6df2fd15d78 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu May 12 21:42:12 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu May 12 21:42:12 2016 +0200 |
| tree | e8639d485217ceb9b15e6df9ccb40d3aef49c0fa | |
| parent | 7bd27f656950074f6fd06ffce754a0f14004b5a6 [diff] | |
| parent | c12f9766da652bfa4bed24f077c5666389c2bdbe [diff] |
Merge pull request #104 from mpeuster/master re-test to check jenkins config