directory /micropython/ @ 1:c423e830507d 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 525108 -rw-r--r--