projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8bf9cb4 88f20fa)
Merge pull request #2866 from rswarbrick/found-init
authorwhitequark <whitequark@whitequark.org>
Wed, 14 Jul 2021 12:00:30 +0000 (12:00 +0000)
committerGitHub <noreply@github.com>
Wed, 14 Jul 2021 12:00:30 +0000 (12:00 +0000)
Delete unused found_init variable


Trivial merge