Copyright (C) 2006, 2007 Free Software Foundation, Inc.
Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.
Gawk was written by Paul Rubin, and finished by Paul Finlason and
Richard Stallman.
David Trueman and Arnold Robbins took it over, with David doing most
of the work to make it compatible with new awk.
Circa 1994, Arnold Robbins took over maintenance.
Mini Shell