Merge pull request #592 from japm48/master
authorClifford Wolf <clifford@clifford.at>
Wed, 15 Aug 2018 11:37:25 +0000 (13:37 +0200)
committerGitHub <noreply@github.com>
Wed, 15 Aug 2018 11:37:25 +0000 (13:37 +0200)
fix basys3 example


Trivial merge