Andrew's git / gitweb.git / diff
?
Merge branch 'jc/grep' into next
authorJunio C Hamano <junkio@cox.net>
Tue, 2 May 2006 08:28:39 +0000 (01:28 -0700)
committerJunio C Hamano <junkio@cox.net>
Tue, 2 May 2006 08:28:39 +0000 (01:28 -0700)
* jc/grep:
builtin-grep: printf %.*s length is int, not ptrdiff_t.

Trivial merge