commit | f35ec546008e8390e0fd8e545680e72fae0efa35 | [log] [tgz] |
---|---|---|
author | David Aguilar <davvid@gmail.com> | Sun Jan 27 16:52:26 2013 -0800 |
committer | Junio C Hamano <gitster@pobox.com> | Sat Feb 02 21:46:52 2013 -0800 |
tree | a9877d98b18e0cb133ff6b861e86aa9b9fb36634 | |
parent | 665682c9fd81df7e2dc8fe9db28fa5918a2f8ba0 [diff] |
doc: generate a list of valid merge tools Use the show_tool_names() function to build lists of all the built-in tools supported by difftool and mergetool. This frees us from needing to update the documentation whenever a new tool is added. Signed-off-by: David Aguilar <davvid@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>