<= 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@xxxxxxxxx> --- Documentation/rev-list-options.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: `~!@#$^&*()[]{}\;",<>?`+'`+ -as well as all characters with ASCII code <= `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, -- 2.39.2