Merge pull request #3206 from YosysHQ/micko/quote_remove
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 4 Mar 2022 15:39:01 +0000 (16:39 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 15:39:01 +0000 (16:39 +0100)
commit13655ddccf861de13f7b7faced793fdd2799dce4
treea8c57c8f72aa84382c1f957f55ca4deb20ae3dd8
parentc3124023e441c99dbdff40cb730d5b05499a378d
parent29293a57bb02f40a17015a071380fde4c8a638d1
Merge pull request #3206 from YosysHQ/micko/quote_remove

Remove quotes if any from attribute