diff options
author | David Shah <davey1576@gmail.com> | 2018-11-28 07:43:00 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-28 07:43:00 +0000 |
commit | 7a2ef27d6c27425bc39ef3a71b0df8b1c608d599 (patch) | |
tree | 0c8835c5fd78f37954094fb4772c566e4cbe5e1f /docs | |
parent | e99e2f15701a761049a600e37b9e30482de44534 (diff) | |
parent | 80f7ef4b4b5a632e73c077da5810b218969132bc (diff) | |
download | nextpnr-7a2ef27d6c27425bc39ef3a71b0df8b1c608d599.tar.gz nextpnr-7a2ef27d6c27425bc39ef3a71b0df8b1c608d599.tar.bz2 nextpnr-7a2ef27d6c27425bc39ef3a71b0df8b1c608d599.zip |
Merge pull request #153 from YosysHQ/global-options
ice40: Finer-grained control of global promotion
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions