directory /tools/mira_3_4/ @ 9:b1d60b46d282 draft

name size permissions
[up] drwxr-xr-x
file README.rst 4992 -rw-r--r--
file mira.py 3828 -rwxr-xr-x
file mira.xml 8512 -rw-r--r--
file tool_dependencies.xml 1391 -rw-r--r--