| commit | 0dc3ae0d2da2def924685d4bc35a464d2a800af3 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Apr 27 09:33:28 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Apr 27 09:33:28 2016 +0200 |
| tree | 9d1e8caf956e00043286a0aa4169db0ab52b38c7 | |
| parent | 984d152cc204770c5703388c3e3a865bb032289e [diff] |
Fix: Test bug - we have to force the right Docker image to be used for the tests. Trusty works.