diff options
| author | David Shah <dave@ds0.me> | 2019-04-17 11:03:06 +0100 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2019-04-17 11:03:06 +0100 |
| commit | ede81dc095b4766e3771a59bb71536e769e12c42 (patch) | |
| tree | 6ed314dd35fb0d844f3330494b85eeb8dcc7b8d5 /3rdparty | |
| parent | 48c4c1ed0561e643a591ed7fca21c69954abd8d2 (diff) | |
| download | nextpnr-ede81dc095b4766e3771a59bb71536e769e12c42.tar.gz nextpnr-ede81dc095b4766e3771a59bb71536e769e12c42.tar.bz2 nextpnr-ede81dc095b4766e3771a59bb71536e769e12c42.zip | |
generic: Disable GUI as it isn't supported yet
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to '3rdparty')
0 files changed, 0 insertions, 0 deletions