| commit | cd4a312b089fea5cb39706c08f02ff2e01d76757 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 05:32:45 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sat Apr 16 05:32:45 2016 +0200 |
| tree | 48672b57ae160b1a45b0f0b1b08651d7b6b416a9 | |
| parent | 1afc6ed0d6edb3df160867b087313ac8043813f2 [diff] |
Fix: CI breakes because it didn't fetch the latest dockernet