Andrew's git / gitweb.git / diff
?
git grep: use pager
authorJohannes Schindelin <Johannes.Schindelin@gmx.de>
Mon, 19 Feb 2007 14:56:04 +0000 (15:56 +0100)
committerJunio C Hamano <junkio@cox.net>
Wed, 21 Feb 2007 06:44:35 +0000 (22:44 -0800)
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found