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