projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9463ed0 e78503d)
Merge branch 'jc/grep'
authorJunio C Hamano <junkio@cox.net>
Fri, 19 May 2006 23:55:33 +0000 (16:55 -0700)
committerJunio C Hamano <junkio@cox.net>
Fri, 19 May 2006 23:55:33 +0000 (16:55 -0700)
* jc/grep:
  Revert "builtin-grep: workaround for non GNU grep."
  builtin-grep: workaround for non GNU grep.


Trivial merge
The core git plumbing