diff mbox series

[1/2] doc: rev-list: simplify escaping

Message ID 20230305013758.344573-2-felipe.contreras@gmail.com (mailing list archive)
State New, archived
Headers show
Series doc: rev-list: simple cleanups | expand

Commit Message

Felipe Contreras March 5, 2023, 1:37 a.m. UTC 
<= is substituted with the unicode ⇐, but it's not necessary to use an
HTML escape to prevent that, we can just use a blackslash.

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
---
 Documentation/rev-list-options.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
diff mbox series

Patch

diff --git a/Documentation/rev-list-options.txt b/Documentation/rev-list-options.txt
index 0d90d5b154..84c742aaac 100644
--- a/Documentation/rev-list-options.txt
+++ b/Documentation/rev-list-options.txt
@@ -970,7 +970,7 @@  the '--filter' flag and is usually not necessary. Filters are joined by
 '{plus}' and individual filters are %-encoded (i.e. URL-encoded).
 Besides the '{plus}' and '%' characters, the following characters are
 reserved and also must be encoded: `~!@#$^&*()[]{}\;",<>?`+&#39;&#96;+
-as well as all characters with ASCII code &lt;= `0x20`, which includes
+as well as all characters with ASCII code \<= `0x20`, which includes
 space and newline.
 +
 Other arbitrary characters can also be encoded. For instance,