don't use HOSTNAME that is already set
[infrastructure.git] / scripts / svn-normalize.sh
2007-11-05 thierryforgotten change - was made in princeton