commit | 39ca1bd88256ea482305b7e0acc943ef14e4b36d | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Thu Feb 07 14:42:08 2013 -0800 |
committer | Junio C Hamano <gitster@pobox.com> | Thu Feb 07 14:42:16 2013 -0800 |
tree | 263d715e9f62be9995ecba9979c26ae10523ef41 | |
parent | eeaf4e7c32f09ef9daa45f9d5ff4713aad9b7d8e [diff] | |
parent | f35ec546008e8390e0fd8e545680e72fae0efa35 [diff] |
Merge branch 'da/mergetool-docs' Build on top of the clean-up done by jk/mergetool and automatically generate the list of mergetool and difftool backends the build supports to be included in the documentation. * da/mergetool-docs: doc: generate a list of valid merge tools mergetool--lib: list user configured tools in '--tool-help' mergetool--lib: add functions for finding available tools mergetool--lib: improve the help text in guess_merge_tool() mergetool--lib: simplify command expressions