diff options
Diffstat (limited to 'tests/pr')
| -rwxr-xr-x | tests/pr/pr-tests.pl (renamed from tests/pr/pr-tests) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/pr/pr-tests b/tests/pr/pr-tests.pl index 259c9d6c2..259c9d6c2 100755 --- a/tests/pr/pr-tests +++ b/tests/pr/pr-tests.pl |