diff options
| author | David Shah <dave@ds0.me> | 2018-11-21 17:13:53 +0000 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2018-11-21 17:13:53 +0000 |
| commit | 51d1363dfeb7005ec35a2acd10fe9ae2cd8631d5 (patch) | |
| tree | c8f1dccdffc3b9f2dbc9f5c6e719f654849d7a49 /gui | |
| parent | b550791d9279416525d0de48d22989bcf5397535 (diff) | |
| download | nextpnr-51d1363dfeb7005ec35a2acd10fe9ae2cd8631d5.tar.gz nextpnr-51d1363dfeb7005ec35a2acd10fe9ae2cd8631d5.tar.bz2 nextpnr-51d1363dfeb7005ec35a2acd10fe9ae2cd8631d5.zip | |
Change the log level of some timing-related messages
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions