projects / git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
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
Unnamed repository; edit this file 'description' to name the repository.