diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2013-02-07 14:42:08 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-02-07 14:42:16 -0800 |
| commit | 39ca1bd88256ea482305b7e0acc943ef14e4b36d (patch) | |
| tree | 263d715e9f62be9995ecba9979c26ae10523ef41 /Documentation/.gitignore | |
| parent | Merge branch 'ss/mergetools-tortoise' (diff) | |
| parent | doc: generate a list of valid merge tools (diff) | |
| download | tgif-39ca1bd88256ea482305b7e0acc943ef14e4b36d.tar.xz | |
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
Diffstat (limited to 'Documentation/.gitignore')
| -rw-r--r-- | Documentation/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index d62aebd848..2c8b2d612e 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -9,4 +9,5 @@ gitman.info howto-index.txt doc.dep cmds-*.txt +mergetools-*.txt manpage-base-url.xsl |