Explicitly mark perms.sh-dist as a bash script.
[mir.git] / scripts / autotar /
2002-03-05 mhfirst cut of merge of STABLE-pre1_0 into HEAD. I won...