?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'jk/push-progress'
[git/kirr.git] / Documentation / .gitignore
blob1c3a9fead579a9b52037f1bbe245998db8a2f40b
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
11 manpage-base-url.xsl
kirr's git tree