projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4d1db12 586739e)
Merge pull request #1954 from YosysHQ/dave/fix-stdout-conflict
authorwhitequark <whitequark@whitequark.org>
Fri, 17 Apr 2020 09:07:49 +0000 (09:07 +0000)
committerGitHub <noreply@github.com>
Fri, 17 Apr 2020 09:07:49 +0000 (09:07 +0000)
qbfsat: Fix illegal use of 'stdout' identifier


Trivial merge