Retire rev-tree.

Some old scripts might still use git-rev-tree, but it really is
clearly inferior in every way to git-rev-list that such scripts should
be fixed anyway. Fixing them should be pretty easy.

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

1 files changed, 0 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 007b540f4e..0a876865c0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -69,7 +69,6 @@ git-reset
 git-resolve
 git-rev-list
 git-rev-parse
-git-rev-tree
 git-revert
 git-send-email
 git-send-pack