| commit | aa278f948656ad4685fda455bb0974d26681930f | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Fri Mar 03 14:44:22 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Fri Mar 03 14:44:22 2017 +0100 |
| tree | 4f8d1f5b03ed7f15d2bd1006ba32341075423311 | |
| parent | 139b0bee04cd9336bcd7acb6728d0cf6976d6f5d [diff] | |
| parent | 3b57e3d8161014c29de75be20d1de5970d35f0ed [diff] |
Merge pull request #200 from cgeoffroy/pr/pip_docker_quick_fix FIX: install the latest pip