Merge pull request #94 from cr1901/nextpnr
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 28 Aug 2018 09:46:35 +0000 (11:46 +0200)
committerGitHub <noreply@github.com>
Tue, 28 Aug 2018 09:46:35 +0000 (11:46 +0200)
lattice/icestorm: Add nextpnr pnr as alternate pnr tool.


Trivial merge