diff options
| -rwxr-xr-x | tests/run_tests_serially.sh (renamed from tests/run_tests.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/run_tests.sh b/tests/run_tests_serially.sh index 94f0b6b..94f0b6b 100755 --- a/tests/run_tests.sh +++ b/tests/run_tests_serially.sh |