Merge branch 'jk/maint-docs'
authorJunio C Hamano <gitster@pobox.com>
Tue, 31 May 2011 19:09:00 +0000 (12:09 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 31 May 2011 19:09:00 +0000 (12:09 -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