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)
commit739c6213303da2463949a229c9c62db40eaa9cc5
tree3c9cdd96c356432f526b6cf36bc21daa992dc994
parent057dae4f78ef604964fb12175f5b263bb386da24
parentb432c9b44b6d8033a835695b2a48cc3fe224bdec
Merge pull request #1402 from YosysHQ/clifford/portlist

Add "portlist" command