diff options
| author | David Shah <dave@ds0.me> | 2019-07-05 14:54:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-05 14:54:38 +0100 |
| commit | 19cb4ca554102a70edd6b6bb6c836e1474a73d4f (patch) | |
| tree | 6b19b866b4d789401c089e582b04b2fbddf063c5 /gui | |
| parent | 8f2813279c5888e655ee6f50f198cf8cb11b0b50 (diff) | |
| parent | bd694bda19728f17ff0a9951952e24d8a65e9bc2 (diff) | |
| download | nextpnr-19cb4ca554102a70edd6b6bb6c836e1474a73d4f.tar.gz nextpnr-19cb4ca554102a70edd6b6bb6c836e1474a73d4f.tar.bz2 nextpnr-19cb4ca554102a70edd6b6bb6c836e1474a73d4f.zip | |
Merge pull request #300 from YosysHQ/static_build_fix
Switching from std to boost fix crash
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions