Merge pull request #262 from jersey99/master
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 20 Sep 2019 04:25:57 +0000 (06:25 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Sep 2019 04:25:57 +0000 (06:25 +0200)
vivado just needs to be in the path for the programmer as well


Trivial merge