directory / @ 2:13f806b78483 draft default tip

name size permissions
file COPYING 1179 -rw-r--r--
file mugsy.py 1570 -rw-r--r--
file mugsy.xml 2159 -rw-r--r--
file tool_dependencies.xml 3688 -rw-r--r--