git-mergetool: move show_tool_help to mergetool--lib
authorJohn Keeping <john@keeping.me.uk>
Fri, 25 Jan 2013 09:43:48 +0000 (01:43 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 25 Jan 2013 19:07:30 +0000 (11:07 -0800)
commit4a8273a...ed1d9db48920433471f87090423d1b5e
tree8d60508...5db6d8c4d4c1e8232b9530dc0b537648copy hash to clipboard (tree)
parent8c7a786...6c8eae8eac91083cdc9a6e337bc133b0copy hash to clipboard (diff)
git-mergetool--lib.sh
git-mergetool.sh