##// 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:

r13042:bd9bc412 stable
r27881:ffa599f3 default
Show More
defines.wxi
9 lines | 135 B | text/plain | TextLexer
<Include>
<?if $(var.Platform) = "x64" ?>
<?define IsX64 = yes ?>
<?else?>
<?define IsX64 = no ?>
<?endif?>
</Include>