?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'mergetool' of git://repo.or.cz/git/mergetool into maint
[git/platforms.git] / Documentation / .gitignore
bloba37b2152bd26be2c2289e1f57a292534a51a93c7
1 *.xml
2 *.html
3 *.[1-8]
4 *.made
5 howto-index.txt
6 doc.dep
7 cmds-*.txt
Tracks individual repos dedicated to platform support of Git