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)
commit34c6a82...8afca18eab28eeca659e29db0faabc62
tree2204153...26acbaa04a7d273c11c46d8d5b1312a6copy hash to clipboard (tree)
parent4b22f63...a3f1752d98e1fc5eee4fa7ce0efe157ccopy hash to clipboard (diff)
git.c