Merge pull request #2617 from RobertBaruch/doc
authorwhitequark <whitequark@whitequark.org>
Mon, 1 Mar 2021 16:10:32 +0000 (08:10 -0800)
committerGitHub <noreply@github.com>
Mon, 1 Mar 2021 16:10:32 +0000 (08:10 -0800)
commit7b47dd0f8833252715eb8297de2134804578b179
treebac4764aeeb252ed6e9357d056dcdf42949d8de8
parentca5f5ffcd63bc18a5e0ae1bdb1065f148ce3c4da
parentca4b1afcb687c03837c66b657fe73363cacf1e70
Merge pull request #2617 from RobertBaruch/doc

RTLIL Documentation: switch in process is optional