Andrew's git / gitweb.git / diff
?
Documentation/git-push: fix placeholder formatting
authorJohn Keeping <john@keeping.me.uk>
Mon, 25 Jul 2016 21:59:55 +0000 (22:59 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 25 Jul 2016 22:21:32 +0000 (15:21 -0700)
Format the placeholder as monospace to match other occurrences in this
file and obey CodingGuidelines.

Signed-off-by: John Keeping <john@keeping.me.uk>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found