diff options
Diffstat (limited to 'scripts/dev/find_tested.php')
| -rwxr-xr-x | scripts/dev/find_tested.php | 1 |
1 files changed, 0 insertions, 1 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) { ?> - |