diff options
| author | David Shah <dave@ds0.me> | 2020-08-31 07:38:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-31 07:38:47 +0100 |
| commit | 4512a9de19751916c466ed12a2ba4dce958d77bc (patch) | |
| tree | dbc7a35e1d32e9d4bef5142a9091e3f752b814b0 /gui | |
| parent | f6d436d58b8206aabe287325fc80da5521ed2e75 (diff) | |
| parent | c30cadd19caf16edebdc676e17d9f6280ef59361 (diff) | |
| download | nextpnr-4512a9de19751916c466ed12a2ba4dce958d77bc.tar.gz nextpnr-4512a9de19751916c466ed12a2ba4dce958d77bc.tar.bz2 nextpnr-4512a9de19751916c466ed12a2ba4dce958d77bc.zip | |
Merge pull request #494 from rschlaikjer/rschlaikjer-print-sources-in-time-report
Add option to print critical path source code
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions