Skip to content

Remove unused JERRY_ENABLE_PRETTY_PRINTER from the build system.#1291

Merged
zherczeg merged 1 commit intojerryscript-project:masterfrom
robertsipka:remove_pretty_printer
Aug 29, 2016
Merged

Remove unused JERRY_ENABLE_PRETTY_PRINTER from the build system.#1291
zherczeg merged 1 commit intojerryscript-project:masterfrom
robertsipka:remove_pretty_printer

Commits

Commits on Aug 29, 2016