mirror of
https://github.com/git/git.git
synced 2024-11-17 22:44:49 +01:00
9dcc829fe1
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> |
||
---|---|---|
.. | ||
make-dist.txt | ||
rebase-and-edit.txt | ||
rebase-from-internal-branch.txt | ||
rebuild-from-update-hook.txt | ||
revert-branch-rebase.txt | ||
using-topic-branches.txt |