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
..
arduino-core
ino	Python: use PyPI mirror (#15001)	2016-04-26 13:38:03 +01:00
platformio