Merge branch 'jc/mergetool-tool-help'
authorJunio C Hamano <gitster@pobox.com>
Tue, 24 Jul 2012 21:05:26 +0000 (14:05 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Jul 2012 21:05:26 +0000 (14:05 -0700)
"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

Trivial merge