diff options
author | John Keeping <john@keeping.me.uk> | 2013-01-30 23:55:46 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-02-03 09:46:52 +0400 |
commit | 665682c9fd81df7e2dc8fe9db28fa5918a2f8ba0 (patch) | |
tree | cb6c4540f02a73be17ea9a3e3770cd5612c27af4 /Documentation/.gitignore | |
parent | 17a1f1c5b7041afab2e184304d8194a2f81f196d (diff) |
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/.gitignore')
0 files changed, 0 insertions, 0 deletions