From: whitequark <whitequark@whitequark.org>
Date: Wed, 26 Aug 2020 08:23:54 +0000 (+0000)
Subject: Merge pull request #2351 from pbsds/proc_nomux
X-Git-Tag: working-ls180~302
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=08a226c9e728557f8b8c970a3a25b55ba5fc00cf;p=yosys.git

Merge pull request #2351 from pbsds/proc_nomux

Add -nomux switch to proc
---

08a226c9e728557f8b8c970a3a25b55ba5fc00cf