diff options
Diffstat (limited to 'scripts/dev')
| -rwxr-xr-x | scripts/dev/find_tested.php | 1 | ||||
| -rwxr-xr-x | scripts/dev/gen_verify_stub | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/scripts/dev/find_tested.php b/scripts/dev/find_tested.php index c2a223b776..9368ad3796 100755 --- a/scripts/dev/find_tested.php +++ b/scripts/dev/find_tested.php @@ -226,4 +226,3 @@ function map_token_value($x) { ?> - diff --git a/scripts/dev/gen_verify_stub b/scripts/dev/gen_verify_stub index ac6dc4434d..f326230e5d 100755 --- a/scripts/dev/gen_verify_stub +++ b/scripts/dev/gen_verify_stub @@ -48,4 +48,3 @@ do done exit 0 - |