From: whitequark <whitequark@whitequark.org>
Date: Mon, 1 Mar 2021 16:10:32 +0000 (-0800)
Subject: Merge pull request #2617 from RobertBaruch/doc
X-Git-Tag: working-ls180~25
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7b47dd0f8833252715eb8297de2134804578b179;p=yosys.git

Merge pull request #2617 from RobertBaruch/doc

RTLIL Documentation: switch in process is optional
---

7b47dd0f8833252715eb8297de2134804578b179