diff options
| author | gatecat <gatecat@ds0.me> | 2021-07-30 14:29:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-30 14:29:55 +0100 |
| commit | ef1fbfc651ea328dfb703c3b79d5b9ea123f2f0d (patch) | |
| tree | 41f9aec86a1d468a0302243c8f6c567d46c666b6 /3rdparty/imgui | |
| parent | 8466985bc709d6c2e0e6f5f030abec119ae2305a (diff) | |
| parent | d2007a386c1a2db7917d7048ea6206ae1218d141 (diff) | |
| download | nextpnr-ef1fbfc651ea328dfb703c3b79d5b9ea123f2f0d.tar.gz nextpnr-ef1fbfc651ea328dfb703c3b79d5b9ea123f2f0d.tar.bz2 nextpnr-ef1fbfc651ea328dfb703c3b79d5b9ea123f2f0d.zip | |
Merge pull request #787 from YosysHQ/gatecat/report
Add JSON utilisation and timing report
Diffstat (limited to '3rdparty/imgui')
0 files changed, 0 insertions, 0 deletions