?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Documentation cherry-pick: Fix cut-and-paste error
[git/platforms/storm.git] / Documentation / .gitignore
blob2f938f471a647f387355290695d54433def16e46
1 *.xml
2 *.html
3 *.[1-8]
4 *.made
5 git.info
6 howto-index.txt
7 doc.dep
8 cmds-*.txt
Mstormo's patches to Git