Merge pull request #243 from sergachev/master
authorenjoy-digital <florent@enjoy-digital.fr>
Wed, 14 Aug 2019 16:58:15 +0000 (18:58 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Aug 2019 16:58:15 +0000 (18:58 +0200)
commitf6638ded132f951c89391d4567fbb367be51d7ae
tree5e600bbbc6a4651bca9d358a5b6421d6e48aa732
parentccc2cbd9d4a82c8599bca1d9b6de901c0f24ef67
parent861eea8a07c40fb88ccd6d786b03a5eb54d7fd7a
Merge pull request #243 from sergachev/master

build/xilinx/vivado: improve directive support