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)
commit34c6a82b8afca18eab28eeca659e29db0faabc62
tree2204153226acbaa04a7d273c11c46d8d5b1312a6
parent4b22f634a3f1752d98e1fc5eee4fa7ce0efe157c
git grep: use pager

Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
git.c