Evan Hunt e947cdfd27 use $DIFF instead of diff

2019-01-25 15:38:48 -08:00

..

ns1

update file headers to remove copyright years

2018-03-14 16:40:20 -07:00

clean.sh

update file headers to remove copyright years

2018-03-14 16:40:20 -07:00

setup.sh

update file headers to remove copyright years

2018-03-14 16:40:20 -07:00

tests.sh

use $DIFF instead of diff

2019-01-25 15:38:48 -08:00