mirror of
https://github.com/git/git.git
synced 2024-05-26 23:26:13 +02:00
f35ec54600
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>
14 lines
135 B
Plaintext
14 lines
135 B
Plaintext
*.xml
|
|
*.html
|
|
*.[1-8]
|
|
*.made
|
|
*.texi
|
|
*.pdf
|
|
git.info
|
|
gitman.info
|
|
howto-index.txt
|
|
doc.dep
|
|
cmds-*.txt
|
|
mergetools-*.txt
|
|
manpage-base-url.xsl
|