James R. Barlow 9fb8b267af docker: use get-pip to install pip ...

Smaller download, needed for manylinux2010.

2019-11-16 15:21:45 -08:00

..

Dockerfile

docker: use get-pip to install pip

2019-11-16 15:21:45 -08:00