doc: group pretty-format.txt placeholders descriptions
authorAnders Waldenborg <anders@0x63.nu>
Sat, 8 Dec 2018 16:36:41 +0000 (17:36 +0100)
committerJunio C Hamano <gitster@pobox.com>
Sun, 9 Dec 2018 02:13:55 +0000 (11:13 +0900)
commit42617752d4b22d616e276528ba4d155e6fff1835
tree0bc3501676e3f844dd3ae923a8f03c552b49365d
parentcd69ec8cde54af1817630331fc441f493866f0d4
doc: group pretty-format.txt placeholders descriptions

The placeholders can be grouped into three kinds:
 * literals
 * affecting formatting of later placeholders
 * expanding to information in commit

Also change the list to a definition list (using '::')

Signed-off-by: Anders Waldenborg <anders@0x63.nu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/pretty-formats.txt