Fix: CI breakes because it didn't fetch the latest dockernet
authorpeusterm <manuel.peuster@uni-paderborn.de>
Sat, 16 Apr 2016 03:32:45 +0000 (05:32 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Sat, 16 Apr 2016 03:32:45 +0000 (05:32 +0200)
commitcd4a312b089fea5cb39706c08f02ff2e01d76757
tree48672b57ae160b1a45b0f0b1b08651d7b6b416a9
parent1afc6ed0d6edb3df160867b087313ac8043813f2
Fix: CI breakes because it didn't fetch the latest dockernet
utils/docker/Dockerfile