diff options
| author | myrtle <gatecat@ds0.me> | 2023-02-16 12:55:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-16 12:55:28 +0100 |
| commit | 2275ff78e264fec1dcbba11017d4ab8f70228482 (patch) | |
| tree | e54320cfc548ff7601a30dd74f784af6da8c2d7f /gui | |
| parent | c65762b5c295d5f5a42a11bfda61a6741e4391f9 (diff) | |
| parent | 32e818204eb73c77e333d1b07efa4db41a4f1183 (diff) | |
| download | nextpnr-2275ff78e264fec1dcbba11017d4ab8f70228482.tar.gz nextpnr-2275ff78e264fec1dcbba11017d4ab8f70228482.tar.bz2 nextpnr-2275ff78e264fec1dcbba11017d4ab8f70228482.zip | |
Merge pull request #1102 from rowanG077/print-random-seed
common: Print out generated seed value
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions