diff options
author | gatecat <gatecat@ds0.me> | 2021-03-30 18:50:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-30 18:50:16 +0100 |
commit | 4dc45ffdc8d61a03115b422904be3b9c7f31b1d5 (patch) | |
tree | efa675a1c8cb640c4aa1c12af19466a3f78cbc62 /gui | |
parent | 7a9082e698d74823081a7f408502f700536bcf4a (diff) | |
parent | 7e47af10851274e495223f11e94547fe6aa7124f (diff) | |
download | nextpnr-4dc45ffdc8d61a03115b422904be3b9c7f31b1d5.tar.gz nextpnr-4dc45ffdc8d61a03115b422904be3b9c7f31b1d5.tar.bz2 nextpnr-4dc45ffdc8d61a03115b422904be3b9c7f31b1d5.zip |
Merge pull request #653 from litghost/fix_site_pip_check
[interchange] Fix site pip check for drivers.
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions