projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0a6e2bd f5609d5)
Merge pull request #3182 from yrabbit/wip-doc2
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 2 Feb 2022 11:19:17 +0000 (12:19 +0100)
committerGitHub <noreply@github.com>
Wed, 2 Feb 2022 11:19:17 +0000 (12:19 +0100)
Correct a typo in the manual


Trivial merge