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
..
2018-05-11 12:18:37 +02:00
2018-04-04 19:22:49 +02:00