projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b66b657 2f5cfa0)
Merge pull request #1003 from makaimann/zinit-all
authorClifford Wolf <clifford@clifford.at>
Sat, 11 May 2019 11:56:51 +0000 (13:56 +0200)
committerGitHub <noreply@github.com>
Sat, 11 May 2019 11:56:51 +0000 (13:56 +0200)
Zinit option '-singleton' -> '-all'


Trivial merge