?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
archive: remove unused headers
[git/vmiklos.git] / Documentation / .gitignore
blobd8edd904065fbc4bd06365ce378f57d4cd8f9f0d
1 *.xml
2 *.html
3 *.[1-8]
4 *.made
5 *.texi
6 git.info
7 gitman.info
8 howto-index.txt
9 doc.dep
10 cmds-*.txt
Miklos' Git tree to make git-merge a builtin.