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

'IGNORECASE' er en gawk-udvidelse