Merge pull request #723 from whitequark/synth_ice40_map_gates
authorClifford Wolf <clifford@clifford.at>
Sun, 16 Dec 2018 14:30:08 +0000 (15:30 +0100)
committerGitHub <noreply@github.com>
Sun, 16 Dec 2018 14:30:08 +0000 (15:30 +0100)
synth_ice40: split `map_gates` off `fine`


Trivial merge