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