diff options
| author | David Shah <davey1576@gmail.com> | 2018-12-07 23:10:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-07 23:10:08 +0000 |
| commit | 98d2fc6b101c8f8e4e3404cd083243da7bf2dfb2 (patch) | |
| tree | b103b19c99f71a092e0b31966785bd7e598b9c2d /gui | |
| parent | d790d0bb91261939a784fe0f86ce6fa2f6245e55 (diff) | |
| parent | e8c03a0dd73cf289d458b2a0b0f6d19ce29efa32 (diff) | |
| download | nextpnr-98d2fc6b101c8f8e4e3404cd083243da7bf2dfb2.tar.gz nextpnr-98d2fc6b101c8f8e4e3404cd083243da7bf2dfb2.tar.bz2 nextpnr-98d2fc6b101c8f8e4e3404cd083243da7bf2dfb2.zip | |
Merge pull request #172 from YosysHQ/hashfix
timing_opt: Fix generic build
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions