diff options
author | gatecat <gatecat@ds0.me> | 2021-07-25 13:07:47 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-25 13:07:47 +0100 |
commit | ef3be26a697466f330c442be6bf3d9613395081b (patch) | |
tree | 0436205b2a24d57089df214f146c289d9eb0eebb /bba | |
parent | 5212e38512586a6aea0a3b075d30cd172026cd3e (diff) | |
parent | bbb1ea26b629588424d0f5797235b5e7d2320509 (diff) | |
download | nextpnr-ef3be26a697466f330c442be6bf3d9613395081b.tar.gz nextpnr-ef3be26a697466f330c442be6bf3d9613395081b.tar.bz2 nextpnr-ef3be26a697466f330c442be6bf3d9613395081b.zip |
Merge pull request #777 from YosysHQ/gatecat/gui-fixes
gui: Add about box and fix some small typos
Diffstat (limited to 'bba')
0 files changed, 0 insertions, 0 deletions