Merge pull request #338 from DurandA/master
authorenjoy-digital <florent@enjoy-digital.fr>
Sun, 12 Jan 2020 20:18:23 +0000 (21:18 +0100)
committerGitHub <noreply@github.com>
Sun, 12 Jan 2020 20:18:23 +0000 (21:18 +0100)
Add optional 'ignore-loops' flag to nextpnr


Trivial merge