Andrew's git / gitweb.git / diff
?
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