Merge pull request #3011 from DanielHuisman/pr-1
authorMiodrag Milanović <mmicko@gmail.com>
Wed, 25 May 2022 15:34:19 +0000 (17:34 +0200)
committerGitHub <noreply@github.com>
Wed, 25 May 2022 15:34:19 +0000 (17:34 +0200)
commit63c9c9be5c0b0cc2b7f4588f1ac8e72eabc6bd0a
treeb0093885efeb998e6269696fe44602e9f83dc0b2
parent8e9471c695598a48ee30ff044ab6bf1564f998ef
parent1362ad0bf86226d1a8a44a3dc26e8ae3c17037dc
Merge pull request #3011 from DanielHuisman/pr-1

Update WaveDrom script URLs in YosysJS demo