Re: Filtering chars from string

[Scott Morgan <blumf@...>]

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