aboutsummaryrefslogtreecommitdiff
path: root/common/rtl/lint-dummy.v
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2015-09-27 19:20:26 -0400
committerRob Austein <sra@hactrn.net>2015-09-27 19:20:26 -0400
commit54516bb49c631f447dbd443557fbde3285074c8a (patch)
tree4696642d14f05c67431f2ed4e289ecc2452754d6 /common/rtl/lint-dummy.v
parent0ef997a7567156ed271f36b64e077bd75c9e1798 (diff)
Add "requires" option.
Diffstat (limited to 'common/rtl/lint-dummy.v')
0 files changed, 0 insertions, 0 deletions