Merge branch 'platal-0.9.17'
[platal.git] / upgrade / 0.9.11 / update.sh
2006-07-16 x2000habouzitmostly code simplifications.