core; reader_read_string: Support escaped characters.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sat, 21 Apr 2018 22:33:50 +0000 (00:33 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sat, 21 Apr 2018 22:33:50 +0000 (00:33 +0200)
commit3f943c8cfacb41bf4b3a7f6bec7655d6fea72177
tree9d8bcbb479d04fc5c239a957cebd0f6d590e0714
parentcf1704f5b385d39a9997c6ed7528e0dffeff2bde
core; reader_read_string: Support escaped characters.

* src/reader.c (reader_read_string): Support escaped characters.
src/mes.c
src/reader.c