diff options
| author | David Shah <dave@ds0.me> | 2018-12-02 14:08:11 +0000 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2018-12-06 10:53:01 +0000 |
| commit | f3adf5a576a881e39cf78e599cbcd7ed3d3b8ec1 (patch) | |
| tree | a8626ad61a21d111f49df67a741351d9aa460cd1 /3rdparty/python-console | |
| parent | 0f40e5fe8ce29bf55a943f7f0ff288a5e78dde6b (diff) | |
| download | nextpnr-f3adf5a576a881e39cf78e599cbcd7ed3d3b8ec1.tar.gz nextpnr-f3adf5a576a881e39cf78e599cbcd7ed3d3b8ec1.tar.bz2 nextpnr-f3adf5a576a881e39cf78e599cbcd7ed3d3b8ec1.zip | |
timing_opt: Make an optional pass controlled by command line
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to '3rdparty/python-console')
0 files changed, 0 insertions, 0 deletions