Merge pull request #963 from YosysHQ/eddie/synth_xilinx_fine
authorClifford Wolf <clifford@clifford.at>
Thu, 2 May 2019 07:11:07 +0000 (09:11 +0200)
committerGitHub <noreply@github.com>
Thu, 2 May 2019 07:11:07 +0000 (09:11 +0200)
Revert synth_xilinx 'fine' label more to how it used to be...


Trivial merge