projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7be7f5e 8fd1b06)
Merge pull request #3207 from nakengelhardt/json_escape_quotes
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 4 Mar 2022 12:57:32 +0000 (13:57 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 12:57:32 +0000 (13:57 +0100)
fix handling of escaped chars in json backend and frontend (mostly)

1  2 
Makefile patch | diff1 | diff2 | blob | history

diff --cc Makefile
Simple merge