Migrating CI tests to be executed inside Docker container
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Sep 2017 14:22:16 +0000 (16:22 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 7 Sep 2017 14:22:16 +0000 (16:22 +0200)
Signed-off-by: Manuel Peuster <manuel@peuster.de>

No differences found