Document git-grep and link it from the main git(7) page.
authorJunio C Hamano <junkio@cox.net>
Tue, 13 Sep 2005 02:39:15 +0000 (19:39 -0700)
committerJunio C Hamano <junkio@cox.net>
Tue, 13 Sep 2005 02:39:15 +0000 (19:39 -0700)
Also adjust missing description in the git.txt page while we are at it.

Signed-off-by: Junio C Hamano <junkio@cox.net>
No differences found