projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7c06cb6 af7b7b6)
Merge pull request #1893 from mmicko/program_prefix
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 10 Apr 2020 14:33:01 +0000 (16:33 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Apr 2020 14:33:01 +0000 (16:33 +0200)
Support custom PROGRAM_PREFIX


Trivial merge