Merge pull request #195 from shenki/nexys-video
authorMichael Neuling <mikey@neuling.org>
Tue, 9 Jun 2020 23:22:50 +0000 (09:22 +1000)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 23:22:50 +0000 (09:22 +1000)
Nexys video


Trivial merge