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	replace makeSearchPath tree-wise to take care of possible multiple outputs	2016-04-13 22:09:41 +03:00
ino	Python: use PyPI mirror (#15001)	2016-04-26 13:38:03 +01:00
platformio