diff options
| author | David Shah <davey1576@gmail.com> | 2018-11-20 10:11:09 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-20 10:11:09 +0000 |
| commit | 04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d (patch) | |
| tree | 1255484538f60d7caf8367eb56407b970072d3f1 /bba | |
| parent | 1851ebb1c6b9edc2d8396494864fa7fa3b833c9d (diff) | |
| parent | e167043e73ca8ce0e347be6cac4ee3f3c6024b57 (diff) | |
| download | nextpnr-04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d.tar.gz nextpnr-04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d.tar.bz2 nextpnr-04c5ed45bb6d21f88a8faa29600f53e13d6b3f0d.zip | |
Merge pull request #132 from maikmerten/master
add "randomize-seed" command-line option
Diffstat (limited to 'bba')
0 files changed, 0 insertions, 0 deletions