Merge pull request #1402 from YosysHQ/clifford/portlist
authorClifford Wolf <clifford@clifford.at>
Wed, 25 Sep 2019 07:20:54 +0000 (09:20 +0200)
committerGitHub <noreply@github.com>
Wed, 25 Sep 2019 07:20:54 +0000 (09:20 +0200)
Add "portlist" command


Trivial merge