Il 14/06/2012 13:07, Johannes Meixner ha scritto:
> 
> Is grep's -i implemented via plain convert to lower case
> or is it actually implemented via "case folding"?

For now it's plain towlower.

Paolo


Reply via email to