directory / @ 3:1dc1a2e5e642 default tip

name size permissions
dir. micropython/ drwxr-xr-x
file .hgignore 65 -rw-r--r--
file Makefile 244 -rw-r--r--
file bot.py 2672 -rw-r--r--