awachtler 56e0932485 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.		2020-10-20 12:44:30 +11:00
..
.gitattributes	…
.gitignore	…
bootstrap_upip.sh	…
build-stm-latest.sh	…
cc1	…
codeformat.py	…
codestats.sh	…
dfu.py	…
file2h.py	…
gen-changelog.sh	…
gen-cpydiff.py	…
gendoc.py	…
insert-usb-ids.py	…
make-frozen.py	tools: Write msvc-compatible frozen content.	2020-09-11 10:51:55 +10:00
makemanifest.py	tools: Write msvc-compatible frozen content.	2020-09-11 10:51:55 +10:00
metrics.py	…
mpy-tool.py	tools/mpy-tool.py: Fix merge of multiple mpy files to POP_TOP correctly.	2020-09-09 00:11:51 +10:00
mpy_bin2res.py	…
mpy_cross_all.py	…
mpy_ld.py	all: Update Python code to conform to latest black formatting.	2020-08-29 15:18:01 +10:00
pyboard.py	tools/pyboard.py: Replace eval() of received data with alternative.	2020-08-21 16:08:03 +10:00
pydfu.py	…
tinytest-codegen.py	…
uf2conv.py	…
uncrustify.cfg	…
upip.py	tools/upip.py: Support explicit port number in host.	2020-10-20 12:44:30 +11:00
upip_utarfile.py	…