Jesse Pretorius 2daeba9405 Remove the last remnants of get-pip.py
We no longer use get-pip.py for anything, so remove the checks
for it, the docs and all other mentions.

Change-Id: Ied16ea1bb1516f133c3db88783c1cf969f469bf5
2018-08-20 08:41:21 +00:00
..