Andrew's git / gitweb.git / Documentation/.gitignore
?
Documentation / .gitignoreon commit Merge branch 'jc/1.7.0-push-safety' (7ad9cec)
   1*.xml
   2*.html
   3*.[1-8]
   4*.made
   5*.texi
   6git.info
   7gitman.info
   8howto-index.txt
   9doc.dep
  10cmds-*.txt
  11manpage-base-url.xsl