DISTFILES
333 Bytes
addr_is_all.sv
addr_is_domain.sv
addr_is_local.sv
addr_matches.sv
address.sv
allof00.sv
allof01.sv
allof11.sv
anyof00.sv
anyof01.sv
anyof11.sv
discard.sv
envelope1.sv
exists1.sv
exists2.sv
exists3.sv
false.sv
fileinto.sv
header1.sv
header2.sv
header3.sv
keep.sv
not.sv
null.sv
redirect.sv
reject.sv
size1.sv
size2.sv
stop.sv
true.sv