coq-dpdgraph icon indicating copy to clipboard operation
coq-dpdgraph copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

add whitelist feature to dpdusage

Open hendriktews opened this issue 8 years ago • 2 comments

This is a PR for the whitelist feature that I suggested in #14.

hendriktews avatar Mar 12 '17 21:03 hendriktews

Thank you for your PR. Could you please add a small test. Thanks.

Karmaki avatar Mar 13 '17 07:03 Karmaki

Karmaki [email protected] writes:

Would be better to use String.trim.

Good point. I'll also look at the tests.

H.

hendriktews avatar Mar 13 '17 20:03 hendriktews