jacky06 d0dc1e46f1 Pin get-pip.py to 3.2 ... As get-pip.py evolves based on pip 10, while we're still using pip 9, changes in the way it can be used are causing problems. For example, the ability to use --download is no longer there. As such, let's pin to a known good version and leave it at that until we no longer need to use this script. Version 3.2 maps to pip 7.1.2 which fulfills our needs. Change-Id: I43ee210311daf206bd7586eaf8592809d8c38678		2018-07-05 08:28:37 -04:00
..
source	Pin get-pip.py to 3.2	2018-07-05 08:28:37 -04:00
requirements.txt	Follow the new PTI for document build	2018-05-07 03:59:05 +00:00