Explicitly mark perms.sh-dist as a bash script.
[mir.git] / doc / lib /
2005-01-09 zapatapreliminary checkin of documentation files