Adds a key in lang files (general_csv_decimal_separator) to set the decimal separator (point or comma) in csv exports (#1372).
Authored by: jplang 2008-06-26
Parent: [r1590]
Child: [r1592]