From: whitequark <whitequark@whitequark.org>
Date: Wed, 25 Nov 2020 21:22:14 +0000 (+0000)
Subject: Merge pull request #2452 from whitequark/rtlil-remove-dot-identifiers
X-Git-Tag: working-ls180~187
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=45725d3bdf2d2db9e5001658719032a52e1876a3;p=yosys.git

Merge pull request #2452 from whitequark/rtlil-remove-dot-identifiers

rtlil: remove dotted identifiers
---

45725d3bdf2d2db9e5001658719032a52e1876a3