Merge pull request #200 from cgeoffroy/pr/pip_docker_quick_fix
authorpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 3 Mar 2017 13:44:22 +0000 (14:44 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 3 Mar 2017 13:44:22 +0000 (14:44 +0100)
FIX: install the latest pip


Trivial merge