directory /tools/mira3/ @ 24:ad14a345f1b0 draft

name size permissions
[up] drwxr-xr-x
file README.rst 6180 -rw-r--r--
file mira.py 3885 -rwxr-xr-x
file mira.xml 9428 -rw-r--r--
file tool_dependencies.xml 265 -rw-r--r--