directory / @ 1:c423e830507d default tip

name size permissions
dir. micropython/ drwxr-xr-x
file .hgignore 65 -rw-r--r--
file Makefile 211 -rw-r--r--
file bob.py 2627 -rw-r--r--