projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 3026402)
builtin-grep: pass ignore case option to external grep
authorRobert Fitzsimons <robfitz@273k.net>
Tue, 6 Jun 2006 23:15:16 +0000 (23:15 +0000)
committerJunio C Hamano <junkio@cox.net>
Tue, 6 Jun 2006 23:22:45 +0000 (16:22 -0700)
Don't just read the --ignore-case/-i option, pass the flag on to the
external grep program.

Signed-off-by: Robert Fitzsimons <robfitz@273k.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>

No differences found
The core git plumbing