diff options
| author | Paul Selkirk <paul@psgd.org> | 2017-01-17 23:48:40 -0500 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2017-01-17 23:48:40 -0500 |
| commit | cd91e7201f87184bbcdc290edbf9e8f6c2559b00 (patch) | |
| tree | 6c11fbb19d70d9c23104c66f2c91067612fcb57c /rtl/lint-dummy.v | |
| parent | fc8be8024560bb77221758b0351c3de7b4ea6e93 (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