diff options
author | David Shah <dave@ds0.me> | 2018-11-29 19:28:15 +0000 |
---|---|---|
committer | David Shah <dave@ds0.me> | 2018-11-29 19:28:15 +0000 |
commit | 90138fc1201067844ca68f486399619eeabf0589 (patch) | |
tree | 36fb84f690a74f46612d20dbfc1de54c644bf2e4 /json | |
parent | 4e05d093977043f5cb959406cd0a8583cf2a9bbe (diff) | |
download | nextpnr-90138fc1201067844ca68f486399619eeabf0589.tar.gz nextpnr-90138fc1201067844ca68f486399619eeabf0589.tar.bz2 nextpnr-90138fc1201067844ca68f486399619eeabf0589.zip |
rulecheck: Improve message printed at start
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'json')
0 files changed, 0 insertions, 0 deletions