diff options
| author | gatecat <gatecat@ds0.me> | 2021-10-17 19:02:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-17 19:02:25 +0100 |
| commit | 3b99db294f95d7da8160efd6d67ebfd50ca9ef0f (patch) | |
| tree | 851775972a355cb0fbddc23b06b637d7a590771d /gui | |
| parent | 6bd1ab41b77e3d038398ee6f2c5ba0dc46ef01c2 (diff) | |
| parent | d90de7f696bb9bdcaa5709e7626ec597767c0034 (diff) | |
| download | nextpnr-3b99db294f95d7da8160efd6d67ebfd50ca9ef0f.tar.gz nextpnr-3b99db294f95d7da8160efd6d67ebfd50ca9ef0f.tar.bz2 nextpnr-3b99db294f95d7da8160efd6d67ebfd50ca9ef0f.zip | |
Merge pull request #848 from galibert/master
mistral: Support the new routes-to-bin intermediate tool generation
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions