diff options
| author | Maik Merten <maikmerten@googlemail.com> | 2018-11-19 19:45:12 +0100 |
|---|---|---|
| committer | Maik Merten <maikmerten@googlemail.com> | 2018-11-19 19:45:12 +0100 |
| commit | e167043e73ca8ce0e347be6cac4ee3f3c6024b57 (patch) | |
| tree | 1255484538f60d7caf8367eb56407b970072d3f1 /3rdparty/python-console/data | |
| parent | 1851ebb1c6b9edc2d8396494864fa7fa3b833c9d (diff) | |
| download | nextpnr-e167043e73ca8ce0e347be6cac4ee3f3c6024b57.tar.gz nextpnr-e167043e73ca8ce0e347be6cac4ee3f3c6024b57.tar.bz2 nextpnr-e167043e73ca8ce0e347be6cac4ee3f3c6024b57.zip | |
add "randomize-seed" command-line option
Diffstat (limited to '3rdparty/python-console/data')
0 files changed, 0 insertions, 0 deletions