Z:gnu-gawk--855ead-`extension' is a gawk extensio/id

`extension' adalah sebuah ekstensi gawk