##// END OF EJS Templates
encoding: escape U+007F (DEL) character in JSON...
encoding: escape U+007F (DEL) character in JSON RFC 7159 does not state that U+007F must be escaped, but it is widely considered a control character. As '\x7f' is invisible on a terminal, and Python's json.dumps() escapes '\x7f', let's do the same.

File last commit:

r13041:79388a83 stable
r27881:ffa599f3 default
Show More
hg.cmd
3 lines | 68 B | application/x-dos-batch | BatchLexer
@echo off
rem launch hg.exe from parent folder
"%~dp0\..\hg.exe" %*