diff options
author | Roozbeh Pournader <roozbeh@google.com> | 2015-01-08 10:21:29 -0800 |
---|---|---|
committer | James Godfrey-Kittle <jamesgk@google.com> | 2015-04-16 12:16:25 -0700 |
commit | 3f22b6f3b65aac67988e3be214792aa56daa3794 (patch) | |
tree | d755c7ca55cf3dcf8442356974480f13ad7a761d /scripts/run_exhaustive_tests.py | |
parent | 7e174fb4226f504b110044cc56c12fb7457c2203 (diff) |
Cleanup executable flags and #! headers.
Some files that were supposed to be executable didn't have the flag,
while others that were not supposed to be had #! headers.
Diffstat (limited to 'scripts/run_exhaustive_tests.py')
-rwxr-xr-x[-rw-r--r--] | scripts/run_exhaustive_tests.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/run_exhaustive_tests.py b/scripts/run_exhaustive_tests.py index 9bf7011..9bf7011 100644..100755 --- a/scripts/run_exhaustive_tests.py +++ b/scripts/run_exhaustive_tests.py |