diff options
author | Tim King <taking@google.com> | 2017-01-04 13:00:25 -0800 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-01-04 13:00:25 -0800 |
commit | 62e9dc362cb890590b2675cbe800f9e3e58f52ae (patch) | |
tree | 1997a1c370c745df7db1b6c53f62da4ef25e6b93 /proofs/signatures/smt.plf | |
parent | 740c30f31479d75ba09009f6ed556261888a2fdb (diff) |
Marking the proof signature files as non-executable.
Diffstat (limited to 'proofs/signatures/smt.plf')
-rw-r--r--[-rwxr-xr-x] | proofs/signatures/smt.plf | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/proofs/signatures/smt.plf b/proofs/signatures/smt.plf index fa89a457f..fa89a457f 100755..100644 --- a/proofs/signatures/smt.plf +++ b/proofs/signatures/smt.plf |