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)
Update WaveDrom script URLs in YosysJS demo


Trivial merge