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 /proofs | |
| parent | 4f8965352cacbc0cca9c88d71c1a69b7055822ef (diff) | |
Setting the executable bit for the newer run scripts in contrib.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions