mergetool--lib: improve show_tool_help() output
authorDavid Aguilar <davvid@gmail.com>
Fri, 25 Jan 2013 09:43:54 +0000 (01:43 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 28 Jan 2013 02:32:54 +0000 (18:32 -0800)
commit88d3406...d77dbab4d8ea76756822531228332b1b
tree3bf91cd...b31b5f27312402c005854fd4c0fbbf01copy hash to clipboard (tree)
parentb2a6b71...2e66d4882ef5ac31e3a03969b5b6a199copy hash to clipboard (diff)
git-mergetool--lib.sh