Re: [Gretl-users] CSV and decimal point character