Andrew's git / gitweb.git / Documentation/.gitignore
?
Documentation / .gitignoreon commit Merge branch 'js/maint-no-cherry-pick-head-after-punted' into js/no-cherry-pick-head-after-punted (278f7e6)
   1*.xml
   2*.html
   3*.[1-8]
   4*.made
   5*.texi
   6*.pdf
   7git.info
   8gitman.info
   9howto-index.txt
  10doc.dep
  11cmds-*.txt
  12manpage-base-url.xsl