Merge branch 'maint' of git://repo.or.cz/git-gui into maint
[git] / Documentation / .gitignore
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