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 /src | |
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 'src')
0 files changed, 0 insertions, 0 deletions