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

'IGNORECASE' is een gawk-uitbreiding