Changes Portuguese decimal separator (#1372).
Authored by: jplang 2008-11-30
Parent: [r2077]
Child: [r2079]