diff options
author | 2016-07-12 10:52:42 +0000 | |
---|---|---|
committer | 2016-07-12 10:52:42 +0000 | |
commit | 73b9fc92e8aed02291878d558ed370239b25c2f1 (patch) | |
tree | 746b3228ba8c67c37c6d6e34381b1b7f0bf330a6 /ci/run_tests.py | |
parent | 17487061550ff71791f28a83cea0aa41a8c10bc7 (diff) | |
parent | 405c02c77fce358d3005732b6e220e83ddef75a3 (diff) |
Merge changes from topics 'fix_unix_rights_py', 'stop_creating_ODL_dir'
* changes:
Chmod 755 all py files which can be executed
Stop creating the useless ODL results dir
Diffstat (limited to 'ci/run_tests.py')
-rwxr-xr-x[-rw-r--r--] | ci/run_tests.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/ci/run_tests.py b/ci/run_tests.py index 29b01d7ff..29b01d7ff 100644..100755 --- a/ci/run_tests.py +++ b/ci/run_tests.py |