Merge pull request #121 from cr1901/patch-3
authorTim Ansell <me@mith.ro>
Tue, 30 Oct 2018 03:54:23 +0000 (20:54 -0700)
committerGitHub <noreply@github.com>
Tue, 30 Oct 2018 03:54:23 +0000 (20:54 -0700)
Update vivado.py


Trivial merge