diff options
| author | awachtler <axel@uracoli.de> | 2020-10-06 22:19:05 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2020-10-20 12:44:30 +1100 |
| commit | 56e0932485af51ec175c8f43432eee67d657b334 (patch) | |
| tree | 803a78b5843503b669e655105468dc2c4453a66c /py/objlist.h | |
| parent | 18518e26a7a92345fdcf8ad79e4c8b3a753f2d06 (diff) | |
tools/upip.py: Support explicit port number in host.
Adding a port number other then 443 to a PyPI URL may be needed if a local
server like devpi is used.
Diffstat (limited to 'py/objlist.h')
0 files changed, 0 insertions, 0 deletions