From 109a5ba2678d911eaa4446674988101677096896 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sat, 22 Aug 2015 13:48:17 -0700
Subject: Set exec flag on Binaries/z3

---
 Binaries/z3 | Bin
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 Binaries/z3

(limited to 'Binaries')

diff --git a/Binaries/z3 b/Binaries/z3
old mode 100644
new mode 100755
-- 
cgit v1.2.3