Added check if Docker images exist before launching them
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 16 Mar 2016 20:02:53 +0000 (21:02 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 16 Mar 2016 20:02:53 +0000 (21:02 +0100)

No differences found