tree c4c17dd269e81db02277d349d8bc039311148ba7
parent 3444ae45d2b2819993cd972ffe6a572b61fce621
author peusterm <manuel.peuster@uni-paderborn.de> 1458158573 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1458158573 +0100

Added check if Docker images exist before launching them