projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 64c6f10 1e2398d)
Merge branch 'jc/grep' into next
authorJunio C Hamano <junkio@cox.net>
Mon, 15 May 2006 07:52:20 +0000 (00:52 -0700)
committerJunio C Hamano <junkio@cox.net>
Mon, 15 May 2006 07:52:20 +0000 (00:52 -0700)
* jc/grep:
  builtin-grep: use external grep when we can take advantage of it


Trivial merge
The core git plumbing