Explicitly mark perms.sh-dist as a bash script.
[mir.git] / scripts / mir-setup / mir-choose-java
2009-01-18 ianbscripts/mir-setup: new scripts: