scripts/mir-setup/README: update with link to new doc on wiki
[mir.git] / web / WEB-INF /
drwxr-xr-x   ..
-rw-r--r-- 3432 build.xml
-rw-r--r-- 899 perms.sh-dist