lp:grep

Get this repository:
git clone https://git.launchpad.net/grep

Import details

Import Status: Reviewed

This repository is an import of the Git repository at git://git.sv.gnu.org/grep.git.

The next import is scheduled to run in 4 hours.

Last successful import was 1 hour ago.

Import started 1 hour ago on izar and finished 1 hour ago taking 50 seconds — see the log
Import started 7 hours ago on izar and finished 7 hours ago taking 30 seconds — see the log
Import started 13 hours ago on alnitak and finished 13 hours ago taking 40 seconds — see the log
Import started 19 hours ago on alnitak and finished 19 hours ago taking 50 seconds — see the log
Import started on 2019-11-14 on izar and finished on 2019-11-14 taking 40 seconds — see the log
Import started on 2019-11-13 on alnitak and finished on 2019-11-13 taking 50 seconds — see the log
Import started on 2019-11-13 on alnitak and finished on 2019-11-13 taking 1 minute — see the log
Import started on 2019-11-13 on alnitak and finished on 2019-11-13 taking 1 minute — see the log
Import started on 2019-11-13 on alnitak and finished on 2019-11-13 taking 40 seconds — see the log
Import started on 2019-11-12 on izar and finished on 2019-11-12 taking 40 seconds — see the log

Branches

Name Last Modified Last Commit
master 2019-11-05 23:33:21 UTC 2019-11-05
grep: new --no-ignore-case option

Author: Paul Eggert
Author Date: 2019-11-05 23:32:58 UTC

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.

11 of 1 result
This repository contains Public information 
Everyone can see this information.