diff options
Diffstat (limited to 'extension/AUTHORS')
| -rw-r--r-- | extension/AUTHORS | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/extension/AUTHORS b/extension/AUTHORS new file mode 100644 index 00000000..fa9e7fe1 --- /dev/null +++ b/extension/AUTHORS @@ -0,0 +1,13 @@ + 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. |