diff options
| author |  Anders Waldenborg <anders@0x63.nu> | 2018-12-08 17:36:41 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-12-09 11:13:55 +0900 |
| commit | 42617752d4b22d616e276528ba4d155e6fff1835 (patch) | |
| tree | 0bc3501676e3f844dd3ae923a8f03c552b49365d /gitk-git/po/de.po | |
| parent | Merge branch 'jc/http-curlver-warnings' (diff) | |
| download | tgif-42617752d4b22d616e276528ba4d155e6fff1835.tar.xz | |
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>
Diffstat (limited to 'gitk-git/po/de.po')
0 files changed, 0 insertions, 0 deletions