diff options
| author | David Shah <davey1576@gmail.com> | 2018-08-08 14:58:43 +0200 |
|---|---|---|
| committer | David Shah <davey1576@gmail.com> | 2018-08-08 14:58:43 +0200 |
| commit | d8b383003194f45cae8486905e50575d792a4640 (patch) | |
| tree | e75b9b2f7b6c16d557fc42191cee093b7834cbd2 /3rdparty | |
| parent | bf42e525cb7ab6ae071b16dfeca55194878be69c (diff) | |
| download | nextpnr-d8b383003194f45cae8486905e50575d792a4640.tar.gz nextpnr-d8b383003194f45cae8486905e50575d792a4640.tar.bz2 nextpnr-d8b383003194f45cae8486905e50575d792a4640.zip | |
timing: Update to new use API (currently broken)
Signed-off-by: David Shah <davey1576@gmail.com>
Diffstat (limited to '3rdparty')
0 files changed, 0 insertions, 0 deletions