Re: Filtering chars from string
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: Filtering chars from string
- From: Scott Morgan <blumf@...>
- Date: 2019年8月27日 16:38:36 +0100
On 27/08/2019 15:17, Roberto Ierusalimschy wrote:
> The following line should do the trick:
>
> s = string.gsub(s, "%W", "%%%0")
>
Neat, but where is '%W' documented?
Scott