diff options
author | Jim Meyering <meyering@fb.com> | 2023-03-09 06:25:18 -0800 |
---|---|---|
committer | Jim Meyering <meyering@meta.com> | 2023-03-09 06:35:41 -0800 |
commit | 3dc94feb2e6378661f689469493bbef33fa7df85 (patch) | |
tree | 9318e713426cc21b437c0e691648ceea1441f757 /THANKS.in | |
parent | 9ef526a6178acc435fb75d5fe24705fde094e500 (diff) | |
download | grep-3dc94feb2e6378661f689469493bbef33fa7df85.tar.gz |
doc: remove mention of unused _N_GNU_nonoption_argv_flags_ envvar
* doc/grep.texi (Environment Variables): This environment variable
has not been usable for decades. Remove its documentation.
* doc/grep.in.1: Likewise.
Reported by Emanuele Torre torreemanuele6@gmail.com
in https://bugs.gnu.org/62052
* THANKS.in: Add the name.
Diffstat (limited to 'THANKS.in')
-rw-r--r-- | THANKS.in | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -28,6 +28,7 @@ David J MacKenzie djm@catapult.va.pubnix.com David O'Brien obrien@freebsd.org 'Drake' Daham Wang drakewang@gmail.com Egmont Koblinger egmont@gmail.com +Emanuele Torre torreemanuele6@gmail.com Fernando Basso fernandobasso.br@gmail.com Florian La Roche laroche@redhat.com François Pinard pinard@iro.umontreal.ca |