Merge pull request #19 from mithro/master
authorenjoy-digital <florent@enjoy-digital.fr>
Fri, 20 Jan 2017 00:29:12 +0000 (01:29 +0100)
committerGitHub <noreply@github.com>
Fri, 20 Jan 2017 00:29:12 +0000 (01:29 +0100)
Adding paths for vivado.


Trivial merge