Retire rev-tree.

diff --git a/.gitignore b/.gitignore
index 0fd59b9ff26f766432d086c32c228f85e4b78c20..0a876865c0b4f7a9908375134ace0dd43f4cd568 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -24,7 +24,6 @@ git-diff-helper
 git-diff-index
 git-diff-stages
 git-diff-tree
-git-export
 git-fetch
 git-fetch-pack
 git-format-patch
@@ -70,7 +69,6 @@ git-reset
 git-resolve
 git-rev-list
 git-rev-parse
-git-rev-tree
 git-revert
 git-send-email
 git-send-pack