projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c4b61f2 58d059c)
Merge pull request #796 from whitequark/proc_clean_typo
authorDavid Shah <davey1576@gmail.com>
Fri, 25 Jan 2019 21:33:06 +0000 (21:33 +0000)
committerGitHub <noreply@github.com>
Fri, 25 Jan 2019 21:33:06 +0000 (21:33 +0000)
proc_clean: fix critical typo


Trivial merge