Replaces html symbols for letters with accent and euro symbol by real characters.
[platal.git] / upgrade / 0.10.2 / update.sh
2009-11-09 Vincent ZanottiAdds an update script for version 0.10.2.