Re: is string.gmatch(), string.upper() 7-bit ascii only?
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: is string.gmatch(), string.upper() 7-bit ascii only?
- From: Javier Guerra Giraldez <javier@...>
- Date: Fri, 8 Apr 2016 14:06:34 +0100
On 8 April 2016 at 13:07, Marc Balmer <marc@msys.ch> wrote:
> Note that I used ISO-8859-1 in my example, not UTF-8.
But Roberto's point is that since it was typed in your terminal, and
actually readable, it probably was UTF-8. Unless you changed the
terminal's setting too.
--
Javier
- References:
- is string.gmatch(), string.upper() 7-bit ascii only?, Marc Balmer
- Re: is string.gmatch(), string.upper() 7-bit ascii only?, Roberto Ierusalimschy
- Re: is string.gmatch(), string.upper() 7-bit ascii only?, Marc Balmer
- Re: is string.gmatch(), string.upper() 7-bit ascii only?, Michal Kottman
- Re: is string.gmatch(), string.upper() 7-bit ascii only?, Marc Balmer