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)
commitaa278f948656ad4685fda455bb0974d26681930f
tree4f8d1f5b03ed7f15d2bd1006ba32341075423311
parent139b0bee04cd9336bcd7acb6728d0cf6976d6f5d
parent3b57e3d8161014c29de75be20d1de5970d35f0ed
Merge pull request #200 from cgeoffroy/pr/pip_docker_quick_fix

FIX: install the latest pip