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)
commit665682c9fd81df7e2dc8fe9db28fa5918a2f8ba0
treecb6c4540f02a73be17ea9a3e3770cd5612c27af4
parent17a1f1c5b7041afab2e184304d8194a2f81f196d
mergetool--lib: list user configured tools in '--tool-help'

Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git-mergetool--lib.sh