Frederik Rietdijk d5e6a4494a Python: use PyPI mirror (#15001)
* mirrors: add pypi

* Python: Use pypi mirror for all PyPI packages
2016-04-26 13:38:03 +01:00
..
2016-04-26 13:38:03 +01:00
2016-02-26 18:03:07 +00:00
2016-04-26 13:38:03 +01:00
2015-02-14 09:01:22 +01:00
2016-03-11 12:43:46 +00:00