Merge branch 'jk/mergetool'
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2013 22:41:57 +0000 (14:41 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2013 22:41:57 +0000 (14:41 -0800)
commit55f56fee0765820d5c841e47b22f33f5a7253e16
tree77f46ce5ac859508725ae00d0f60b95b7799b671
parentb9a5f6811d186ec2420df39e3ec8087c7166a636
parent073678b8e6324a155fa99f40eee0637941a70a34
Merge branch 'jk/mergetool'

Cleans up mergetool/difftool combo.

* jk/mergetool:
  mergetools: simplify how we handle "vim" and "defaults"
  mergetool--lib: don't call "exit" in setup_tool
  mergetool--lib: improve show_tool_help() output
  mergetools/vim: remove redundant diff command
  git-difftool: use git-mergetool--lib for "--tool-help"
  git-mergetool: don't hardcode 'mergetool' in show_tool_help
  git-mergetool: remove redundant assignment
  git-mergetool: move show_tool_help to mergetool--lib