diff options
author | Craig Duncan <duncan3dc@php.net> | 2019-05-28 21:51:26 +0100 |
---|---|---|
committer | Craig Duncan <duncan3dc@php.net> | 2019-05-28 21:51:26 +0100 |
commit | 72c330f1e6000e6b52f92c13c42bf9c620c20ddf (patch) | |
tree | b256107667a658cb3135ea41e2f374d19274c5a1 /run-tests.php | |
parent | 817b50826ef49d7a3c55abd57eb7273dc31583c8 (diff) | |
download | php-git-72c330f1e6000e6b52f92c13c42bf9c620c20ddf.tar.gz |
Restore the execute bit for run-tests.php
It looks like this was accidentally removed in 03f15f705ad30ce2dde7f7b2ab087a132b859ba0
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x[-rw-r--r--] | run-tests.php | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 6491507fc3..6491507fc3 100644..100755 --- a/run-tests.php +++ b/run-tests.php |