diff options
author | gatecat <gatecat@ds0.me> | 2022-03-05 20:00:38 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-05 20:00:38 +0000 |
commit | 81e970867d655735920e4133ad130fe2a05172e7 (patch) | |
tree | 7923698a33af14ad7414e73d4b179d41183c4e89 /3rdparty | |
parent | 285325ad5bf60b5230789b9e64b4dc76a406c04d (diff) | |
parent | aee35768f4002c0a7d96ba79e5aa78632fb41c65 (diff) | |
download | nextpnr-81e970867d655735920e4133ad130fe2a05172e7.tar.gz nextpnr-81e970867d655735920e4133ad130fe2a05172e7.tar.bz2 nextpnr-81e970867d655735920e4133ad130fe2a05172e7.zip |
Merge pull request #933 from whitequark/wasm-no-parallel-refine
Disable parallel refinement on WebAssembly
Diffstat (limited to '3rdparty')
0 files changed, 0 insertions, 0 deletions