]> git.99rst.org Git - git.git/commitdiff
Merge branch 'ja/doc-placeholders-markup-rules' into HEAD
authorJunio C Hamano <redacted>
Fri, 1 Mar 2024 22:38:55 +0000 (14:38 -0800)
committerJunio C Hamano <redacted>
Fri, 1 Mar 2024 22:38:55 +0000 (14:38 -0800)
The way placeholders are to be marked-up in documentation have been
specified; use "_<placeholder>_" to typeset the word inside a pair
of <angle-brakets> emphasized.

* ja/doc-placeholders-markup-rules:
  doc: clarify the format of placeholders

1  2 
Documentation/CodingGuidelines

Simple merge
git clone https://git.99rst.org/PROJECT