diff options
Diffstat (limited to 'gnu/usr.bin/grep/THANKS')
-rw-r--r-- | gnu/usr.bin/grep/THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/usr.bin/grep/THANKS b/gnu/usr.bin/grep/THANKS index b0c23f9..40295fc 100644 --- a/gnu/usr.bin/grep/THANKS +++ b/gnu/usr.bin/grep/THANKS @@ -25,6 +25,7 @@ Kazuro Furukawa <furukawa@apricot.kek.jp> Keith Bostic <bostic@bsdi.com> Krishna Sethuraman <krishna@sgihub.corp.sgi.com> Mark Waite <markw@mddmew.fc.hp.com> +Martin P.J. Zinser <zinser@decus.de> Martin Rex <martin.rex@sap-ag.de> Michael Aichlmayr <mikla@nx.com> Miles Bader <miles@ccs.mt.nec.co.jp> |