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)
commit0d69d532e0b6c4294614d81ca534cb2ff3438c1c
tree657d1d72aaac4e709dbd7b8c51ad00f70bc83da4
parentdf69febb1e8293d9234e1dc3b6be874cbb44fe3e
parenta0416fe1675665f10aa4379a750e0527494e6b74
Merge pull request #1859 from boqwxp/design_duplicate

Add `-push-copy` option to the `design` command.
passes/cmds/design.cc