Merge pull request #1166 from YosysHQ/eddie/synth_keepdc
authorEddie Hung <eddie@fpgeh.com>
Tue, 9 Jul 2019 04:43:16 +0000 (21:43 -0700)
committerGitHub <noreply@github.com>
Tue, 9 Jul 2019 04:43:16 +0000 (21:43 -0700)
Add "synth -keepdc" option


Trivial merge