Explicitly mark perms.sh-dist as a bash script.
[mir.git] / web / WEB-INF /
drwxr-xr-x   ..
-rw-r--r-- 3432 build.xml
-rw-r--r-- 899 perms.sh-dist