]> git.ipfire.org Git - thirdparty/git.git/commit
doc: add markup for characters in Guidelines
authorJean-Noël Avila <jn.avila@free.fr>
Sat, 12 Apr 2025 12:20:50 +0000 (12:20 +0000)
committerJunio C Hamano <gitster@pobox.com>
Mon, 14 Apr 2025 21:43:53 +0000 (14:43 -0700)
commit5a5565ec44293869884eb5da2e08bda832616171
treef0303f743add2c7d5a39a38725ad8052b084129e
parentc87b2b3a6f13ed8d98cf2bdf863af85175a623a5
doc: add markup for characters in Guidelines

This rule was already implicitely applied in the converted man pages,
so let's state it loudly.

Signed-off-by: Jean-Noël Avila <jn.avila@free.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/CodingGuidelines