Re: [Gretl-devel] Capital and small letters - Preferences Menu