Merge pull request #1859 from boqwxp/design_duplicate
authorwhitequark <whitequark@whitequark.org>
Mon, 6 Apr 2020 10:39:26 +0000 (10:39 +0000)
committerGitHub <noreply@github.com>
Mon, 6 Apr 2020 10:39:26 +0000 (10:39 +0000)
Add `-push-copy` option to the `design` command.

1  2 
passes/cmds/design.cc

Simple merge