Merge pull request #93 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 3 May 2016 09:11:06 +0000 (11:11 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 3 May 2016 09:11:06 +0000 (11:11 +0200)
Fake GK is now able to pull pre-defined Docker images


Trivial merge