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 git.info
6 howto-index.txt
7 doc.dep
8 cmds-*.txt