diff options
author | gatecat <gatecat@ds0.me> | 2021-06-08 13:08:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-08 13:08:49 +0100 |
commit | 5e18bb173575557eac49e77b9010c90f1a8ca62c (patch) | |
tree | 7bdd54bdd72a3bab18dc9a8c668763badb70f99d /frontend | |
parent | 8fa3088057633a431c342fb03d650ca06a92fb35 (diff) | |
parent | 875004d300eb4b85e13c026378e39b31b6922f93 (diff) | |
download | nextpnr-5e18bb173575557eac49e77b9010c90f1a8ca62c.tar.gz nextpnr-5e18bb173575557eac49e77b9010c90f1a8ca62c.tar.bz2 nextpnr-5e18bb173575557eac49e77b9010c90f1a8ca62c.zip |
Merge pull request #723 from YosysHQ/gatecat/fix-722
gui: Don't destroy context when loading JSON
Diffstat (limited to 'frontend')
0 files changed, 0 insertions, 0 deletions