mirror of
https://github.com/jerryscript-project/jerryscript.git
synced 2026-02-07 18:46:25 +00:00
... instead of `jerry_char_t []`, which is not used anywhere else in the API. JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu