diff options
| author | David Shah <dave@ds0.me> | 2018-12-02 12:23:18 +0000 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2018-12-06 10:53:01 +0000 |
| commit | e1c74ad3db06c7279b018a93416dc3be178002d5 (patch) | |
| tree | 583f5d983be75801c900e4c406a67e2c86703862 /gui | |
| parent | b51308708bf7202c097deb7f70ff83e710e0970c (diff) | |
| download | nextpnr-e1c74ad3db06c7279b018a93416dc3be178002d5.tar.gz nextpnr-e1c74ad3db06c7279b018a93416dc3be178002d5.tar.bz2 nextpnr-e1c74ad3db06c7279b018a93416dc3be178002d5.zip | |
timing_opt: Fixes including single-move legality
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions