aboutsummaryrefslogtreecommitdiff
path: root/rtl/lint-dummy.v
diff options
context:
space:
mode:
authorPaul Selkirk <paul@psgd.org>2017-01-17 23:48:40 -0500
committerPaul Selkirk <paul@psgd.org>2017-01-17 23:48:40 -0500
commitcd91e7201f87184bbcdc290edbf9e8f6c2559b00 (patch)
tree6c11fbb19d70d9c23104c66f2c91067612fcb57c /rtl/lint-dummy.v
parentfc8be8024560bb77221758b0351c3de7b4ea6e93 (diff)
Use the rewritten core_selector generator instead of the local fork.
Diffstat (limited to 'rtl/lint-dummy.v')
0 files changed, 0 insertions, 0 deletions