Merge branch 'ah/doc-pretty-format-fix'
authorJunio C Hamano <gitster@pobox.com>
Fri, 2 Jun 2017 06:06:03 +0000 (15:06 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 2 Jun 2017 06:06:03 +0000 (15:06 +0900)
Documentation fix.

* ah/doc-pretty-format-fix:
Documentation: fix formatting typo in pretty-formats.txt

Trivial merge