tree 26add4c3c5c25c651448475cc89256096a1ee157
parent 73807761afe6c66d2a8d85f19e64e94741da3253
author peusterm <manuel.peuster@uni-paderborn.de> 1460778781 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1460778781 +0200

Fix: new try ... ensure that dockernet is fetched from the right repo ...