Code

Terminal-safe redexdump output#163

Code

Closed

dcolascione wants to merge 2 commits intofacebook:masterfacebook/redex:masterfrom dcolascione:fix-redexdump-string-outputdcolascione/redex:fix-redexdump-string-outputCopy head branch name to clipboard

+46-4

Commits

Commits on Jul 21, 2016

• Make autotools build system build redexdump

  dcolascione

  committed
  0d2e0d9

  Copy full SHA for 0d2e0d9

• When dumping strings, translate MUTF-8 to UTF-8 and replace control characters with a placeholder; add --raw option to skip this work and restore old behavior

  dcolascione

  committed
  4aa8f2d

  Copy full SHA for 4aa8f2d