diff options
author | John Keeping <john@keeping.me.uk> | 2013-01-30 19:55:46 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-02-02 21:46:52 -0800 |
commit | 665682c9fd81df7e2dc8fe9db28fa5918a2f8ba0 (patch) | |
tree | cb6c4540f02a73be17ea9a3e3770cd5612c27af4 /Documentation/Makefile | |
parent | 17a1f1c5b7041afab2e184304d8194a2f81f196d (diff) | |
download | git-665682c9fd81df7e2dc8fe9db28fa5918a2f8ba0.tar.gz |
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>
Diffstat (limited to 'Documentation/Makefile')
0 files changed, 0 insertions, 0 deletions