directory / @ 6:1529d6a90448 default tip

name size permissions
dir. tools/ drwxr-xr-x
file .hgignore 69 -rw-r--r--
file Makefile 401 -rw-r--r--
file boot.py 159 -rw-r--r--
file leg.py 1171 -rw-r--r--
file machine.py 313 -rw-r--r--
file pony.fzz 18714 -rw-r--r--
file pony.svg 12918 -rw-r--r--
file robot.py 641 -rw-r--r--
file schematic.fzz 207411 -rw-r--r--
file servo.py 836 -rw-r--r--