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