Andrew's git / gitweb.git / diff
?
Merge branch 'jc/grep' into next
authorJunio C Hamano <junkio@cox.net>
Mon, 15 May 2006 20:51:35 +0000 (13:51 -0700)
committerJunio C Hamano <junkio@cox.net>
Mon, 15 May 2006 20:51:35 +0000 (13:51 -0700)
* jc/grep:
builtin-grep: unparse more command line options.

Trivial merge