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