Andrew's git / gitweb.git / diff
?
Merge branch 'rd/doc-options-placeholder'
authorJunio C Hamano <gitster@pobox.com>
Fri, 1 Jun 2018 06:06:39 +0000 (15:06 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 1 Jun 2018 06:06:39 +0000 (15:06 +0900)
Docfix.

* rd/doc-options-placeholder:
Use proper syntax for replaceables in command docs

Trivial merge