mergetool--lib: list user configured tools in '--tool-help'
authorJohn Keeping <john@keeping.me.uk>
Wed, 30 Jan 2013 19:55:46 +0000 (19:55 +0000)
committerJunio C Hamano <gitster@pobox.com>
Sun, 3 Feb 2013 05:46:52 +0000 (21:46 -0800)
commit665682c...fd81df7e2dc8fe9db28fa5918a2f8ba0
treecb6c454...f02a73be17ea9a3e3770cd5612c27af4copy hash to clipboard (tree)
parent17a1f1c...b7041afab2e184304d8194a2f81f196dcopy hash to clipboard (diff)
git-mergetool--lib.sh