diff options
author | David Shah <dave@ds0.me> | 2019-06-27 17:50:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-27 17:50:13 +0100 |
commit | ff958830d1097b9bfa3c3b34094e671741ef563d (patch) | |
tree | 807733691ad85ebd7aca5c855636540788211409 /common/timing_opt.h | |
parent | c57137e17d137dc1eb625e7363961dcb36db9e3a (diff) | |
parent | 1b3c8ea9c1384882063203f35f0f66f60025f62c (diff) | |
download | nextpnr-ff958830d1097b9bfa3c3b34094e671741ef563d.tar.gz nextpnr-ff958830d1097b9bfa3c3b34094e671741ef563d.tar.bz2 nextpnr-ff958830d1097b9bfa3c3b34094e671741ef563d.zip |
Merge pull request #297 from whitequark/serialize-chipdb
Serialize chipdb generation by default
Diffstat (limited to 'common/timing_opt.h')
0 files changed, 0 insertions, 0 deletions