From: Eddie Hung Date: Thu, 16 Apr 2020 17:51:09 +0000 (-0700) Subject: Merge pull request #1928 from YosysHQ/eddie/design_delete X-Git-Tag: working-ls180~628 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8d3f6d0d792a1cd688ce4d9c05bef8ec601f9334;p=yosys.git Merge pull request #1928 from YosysHQ/eddie/design_delete kernel: add design -delete option --- 8d3f6d0d792a1cd688ce4d9c05bef8ec601f9334