Merge pull request #1066 from YosysHQ/clifford/fix1056
authorClifford Wolf <clifford@clifford.at>
Wed, 5 Jun 2019 08:37:39 +0000 (10:37 +0200)
committerGitHub <noreply@github.com>
Wed, 5 Jun 2019 08:37:39 +0000 (10:37 +0200)
Remove yosys_banner() from python wrapper init


Trivial merge