diff options
| author | Arjen Roodselaar <arjen@oxide.computer> | 2022-12-19 22:58:52 -0800 |
|---|---|---|
| committer | Arjen Roodselaar <arjen@oxide.computer> | 2022-12-19 22:58:52 -0800 |
| commit | d5299f144f0dc8cdcca9195d8ffbbd5a77cff77e (patch) | |
| tree | bafa90652a5ffe19dd0b1e0ea0921df505949135 /3rdparty/imgui/imgui_internal.h | |
| parent | 2712cbf6e4289eb9c1830e367d68072e3d1f7564 (diff) | |
| download | nextpnr-d5299f144f0dc8cdcca9195d8ffbbd5a77cff77e.tar.gz nextpnr-d5299f144f0dc8cdcca9195d8ffbbd5a77cff77e.tar.bz2 nextpnr-d5299f144f0dc8cdcca9195d8ffbbd5a77cff77e.zip | |
Add --no-placer-timeout flag to override timeout during refinement
Diffstat (limited to '3rdparty/imgui/imgui_internal.h')
0 files changed, 0 insertions, 0 deletions