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-INV | |
| parent | 4f8965352cacbc0cca9c88d71c1a69b7055822ef (diff) | |
Setting the executable bit for the newer run scripts in contrib.
Diffstat (limited to 'contrib/run-script-sygusComp2016-INV')
| -rwxr-xr-x[-rw-r--r--] | contrib/run-script-sygusComp2016-INV | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/contrib/run-script-sygusComp2016-INV b/contrib/run-script-sygusComp2016-INV index a25a5f5c8..a25a5f5c8 100644..100755 --- a/contrib/run-script-sygusComp2016-INV +++ b/contrib/run-script-sygusComp2016-INV |