7ef0d62730
Merge commit '1b593e1ea4d2af0f6444d9a7788d5d99abd6fde5' as 'third_party/git'
17 lines
212 B
Text
17 lines
212 B
Text
*.xml
|
|
*.html
|
|
*.[1-8]
|
|
*.made
|
|
*.texi
|
|
*.pdf
|
|
git.info
|
|
gitman.info
|
|
howto-index.txt
|
|
doc.dep
|
|
cmds-*.txt
|
|
mergetools-*.txt
|
|
manpage-base-url.xsl
|
|
SubmittingPatches.txt
|
|
tmp-doc-diff/
|
|
GIT-ASCIIDOCFLAGS
|
|
/GIT-EXCLUDED-PROGRAMS
|