tree 9a17908bed01f8f098952fff3e1f4c2934d45fd9
parent 0dc3ae0d2da2def924685d4bc35a464d2a800af3
author peusterm <manuel.peuster@uni-paderborn.de> 1461742950 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1461742950 +0200

Fix: Moved ubuntu:trusty image download to Jenkins config