Merge branch 'jc/mergetool-tool-help'
commitcf7864837c12c396ad5927cb6c0bbaa790cda7ad
authorJunio C Hamano <gitster@pobox.com>
Tue, 24 Jul 2012 21:05:26 +0000 (24 14:05 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Jul 2012 21:05:26 +0000 (24 14:05 -0700)
tree93c489a5a4bfb1fde21851d3b9154990ec528b9a
parent9c3f19fdfd7b8d7fcbebf05d30a8a41054f89d32
parent109859e27445a3ad12eb8f8cba43a5aa8f701733
Merge branch 'jc/mergetool-tool-help'

"git mergetool" did not support --tool-help option to give the list
of supported backends, like "git difftool" does.

* jc/mergetool-tool-help:
  mergetool: support --tool-help option like difftool does