diff options
author | Tim King <taking@google.com> | 2017-01-04 12:59:16 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-01-04 12:59:16 -0800 |
commit | 740c30f31479d75ba09009f6ed556261888a2fdb (patch) | |
tree | b9ab7e8c1c1ea77542e17476bbe15ca5919a5ca8 /contrib/run-script-sygusComp2016-PBE | |
parent | 4f8965352cacbc0cca9c88d71c1a69b7055822ef (diff) |
Setting the executable bit for the newer run scripts in contrib.
Diffstat (limited to 'contrib/run-script-sygusComp2016-PBE')
-rwxr-xr-x[-rw-r--r--] | contrib/run-script-sygusComp2016-PBE | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/run-script-sygusComp2016-PBE b/contrib/run-script-sygusComp2016-PBE index 19d8fd891..19d8fd891 100644..100755 --- a/contrib/run-script-sygusComp2016-PBE +++ b/contrib/run-script-sygusComp2016-PBE |