diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-07-11 18:16:59 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-07-11 18:16:59 +0200 |
| commit | 9baefa27423900e71d5fa2131a349e5dde2547a7 (patch) | |
| tree | 36c08f184a6a585fa3bdd0c694912275638085ba /gui | |
| parent | 7daa8524c8ab8c9ff5400d5074b80573b0d39a14 (diff) | |
| download | nextpnr-9baefa27423900e71d5fa2131a349e5dde2547a7.tar.gz nextpnr-9baefa27423900e71d5fa2131a349e5dde2547a7.tar.bz2 nextpnr-9baefa27423900e71d5fa2131a349e5dde2547a7.zip | |
Fix usage of refreshUi API in generic arch
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions