Merge branch 'jk/maint-docs' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 1 Jun 2011 21:02:52 +0000 (14:02 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 1 Jun 2011 21:02:52 +0000 (14:02 -0700)
* jk/maint-docs:
  docs: fix some antique example output
  docs: make sure literal "->" isn't converted to arrow
  docs: update status --porcelain format
  docs: minor grammar fixes to git-status


Trivial merge