diff options
author | gatecat <gatecat@ds0.me> | 2021-07-20 18:25:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-20 18:25:49 +0100 |
commit | 1a5bb7b8abdf3eab38223b108c1a77c9a6381e79 (patch) | |
tree | 62a92be0c57efd3d5803ac3a5dc3339fb6005dc9 /.gitignore | |
parent | ef08c4a91d6207629f795df199178c50be340653 (diff) | |
parent | 08bbe173cececbc1aac73937e58410039bc4dbc7 (diff) | |
download | nextpnr-1a5bb7b8abdf3eab38223b108c1a77c9a6381e79.tar.gz nextpnr-1a5bb7b8abdf3eab38223b108c1a77c9a6381e79.tar.bz2 nextpnr-1a5bb7b8abdf3eab38223b108c1a77c9a6381e79.zip |
Merge pull request #770 from YosysHQ/gatecat/empty-idstringlist
Fix definition of an empty IdStringList
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions