Paul Eggert 6193ba1cb5 grep: new --no-ignore-case option ...

Suggested by Karl Berry and mostly implemented by Arnold Robbins
(Bug#37907).
* NEWS:
* doc/grep.in.1:
* doc/grep.texi (Matching Control):
* src/grep.c (usage):
Document the new option.
* src/grep.c (NO_IGNORE_CASE_OPTION): New constant.
(long_options, main): Support new option.

2019-11-05 15:33:21 -08:00

..

.gitignore

maint: ignore gendocs_template_min

2015-07-04 08:38:43 -07:00

egrep.man

auto generated no need or them in the repository.

1998-11-22 06:46:27 +00:00

fgrep.man

auto generated no need or them in the repository.

1998-11-22 06:46:27 +00:00

grep.in.1

grep: new --no-ignore-case option

2019-11-05 15:33:21 -08:00

grep.texi

grep: new --no-ignore-case option

2019-11-05 15:33:21 -08:00

Makefile.am

maint: update all copyright dates via "make update-copyright"

2019-01-01 19:00:38 -08:00