directory /micropython/ @ 3:1dc1a2e5e642 default tip

name size permissions
[up] drwxr-xr-x
file hexlifyscript.py 1310 -rwxr-xr-x
file makecombinedhex.py 1878 -rwxr-xr-x
file microbit-micropython.hex 579560 -rw-r--r--