Merge pull request #1928 from YosysHQ/eddie/design_delete
authorEddie Hung <eddie@fpgeh.com>
Thu, 16 Apr 2020 17:51:09 +0000 (10:51 -0700)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 17:51:09 +0000 (10:51 -0700)
kernel: add design -delete option

1  2 
passes/cmds/design.cc

Simple merge