mirror of
https://github.com/git/git
synced 2024-08-28 03:59:25 +00:00
Documentation: add git-mergetool to the command list.
Signed-off-by: Junio C Hamano <junkio@cox.net>
This commit is contained in:
parent
4739cea566
commit
86952cdabd
|
@ -124,6 +124,7 @@ sub format_one {
|
|||
git-merge mainporcelain
|
||||
git-merge-one-file purehelpers
|
||||
git-merge-tree ancillaryinterrogators
|
||||
git-mergetool ancillarymanipulators
|
||||
git-mktag plumbingmanipulators
|
||||
git-mktree plumbingmanipulators
|
||||
git-mv mainporcelain
|
||||
|
|
Loading…
Reference in a new issue