Z:gnu-gawk--8fd122-`IGNORECASE' is a gawk extensi/it

`IGNORECASE' � un'estensione gawk