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>

Jean-Noël Avila committed Apr 12, 2025 at 12:20 UTC 5a5565ec44293869884eb5da2e08bda832616171
1 file changed +3
Documentation/CodingGuidelines
+3
@@ -861,6 +861,9 @@ Markup:
861 _<git-dir>_
862 _<key-id>_
863
864 +Characters are also surrounded by underscores:
865 + _LF_, _CR_, _CR_/_LF_, _NUL_, _EOF_
866 +
867 Git's Asciidoc processor has been tailored to treat backticked text
868 as complex synopsis. When literal and placeholders are mixed, you can
869 use the backtick notation which will take care of correctly typesetting