directory /tools/mira3/ @ 12:5b0af75dfe5a draft

name size permissions
[up] drwxr-xr-x
file README.rst 5307 -rw-r--r--
file mira.py 3842 -rwxr-xr-x
file mira.xml 8551 -rw-r--r--
file tool_dependencies.xml 1249 -rw-r--r--