diff options
author | David Shah <dave@ds0.me> | 2020-02-02 16:21:47 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-02 16:21:47 +0000 |
commit | aed93a9390dd909111ab4526e7f3df8d24a2ee0a (patch) | |
tree | 9cb4096654bac891aaec9ac5b2fa9a5259798e65 /README.md | |
parent | a0091eb44b3b1248409038b43143b049b43d0233 (diff) | |
parent | d5f50070d7b8de8fbddc19a41d145571b7069aa7 (diff) | |
download | nextpnr-aed93a9390dd909111ab4526e7f3df8d24a2ee0a.tar.gz nextpnr-aed93a9390dd909111ab4526e7f3df8d24a2ee0a.tar.bz2 nextpnr-aed93a9390dd909111ab4526e7f3df8d24a2ee0a.zip |
Merge pull request #389 from YosysHQ/mmicko/time_info
Add spent time info to report
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions