Fix: Try to fix apt-get problem
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 6 Feb 2017 07:54:18 +0000 (08:54 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 6 Feb 2017 07:54:18 +0000 (08:54 +0100)
commit041426174380a8d753d887c594182f23b8f29eb3
tree2384325d5304967bd65cb52e2ba7f38506edf0c9
parent8046dfeb9cd226a3425a4e3a9f8ac13a3d11348c
Fix: Try to fix apt-get problem
utils/ci/jenkins_entrypoint.sh