Explicitly mark perms.sh-dist as a bash script.
[mir.git] / web / help / help.html.de
2001-08-27 muhmulti-ling in progress