diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-22 13:48:17 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-22 13:48:17 -0700 |
| commit | 109a5ba2678d911eaa4446674988101677096896 (patch) | |
| tree | 79b2f9b456601e49762cbfd286b0b9b45bb8b204 /Binaries | |
| parent | 5623306213e01e8d667a7893cb0c3275ecfbf065 (diff) | |
Set exec flag on Binaries/z3
Diffstat (limited to 'Binaries')
| -rwxr-xr-x[-rw-r--r--] | Binaries/z3 | bin | 16438468 -> 16438468 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Binaries/z3 b/Binaries/z3 Binary files differindex 7c60feb4..7c60feb4 100644..100755 --- a/Binaries/z3 +++ b/Binaries/z3 |