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)
commit7659bda0f3be83620ee8d8b7326be3dd2b53e2ae
tree5bf2326a2641f3b6eab30452461b3f857ad269e2
parent7cb4a974d339d774cb439b3d8c8f41f1ca584e6f
parentde613050efec781e8380a0267879a25b2d489513
Merge branch 'rd/doc-options-placeholder'

Docfix.

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