projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 17233b1 ee620c6)
Merge pull request #215 from frznchckn/to_upstream
authorClifford Wolf <clifford@clifford.at>
Fri, 26 Aug 2016 21:36:05 +0000 (23:36 +0200)
committerGitHub <noreply@github.com>
Fri, 26 Aug 2016 21:36:05 +0000 (23:36 +0200)
Add some useful flexibility to build process


Trivial merge